New page tree
Created by: seancolsen
Ok this should close #75 (closed) (at least mostly, and I think the remaining work can be done later and tracked with other issues/PRs)
More details:
- I opted not to move any files around (until we have a good system for redirects). Instead, I just moved the pages around in the nav menu. If I had thought of this option earlier, I would have suggested it. I think it works well for the time being.
- The nav files has comments that state which pages need to be moved, and the desired new locations for such pages
- In general, lots of comments in the nav file now. I don't see this as good thing to have in there, long there -- these comments are just to help us out in the short term while fleshing out this page tree.
- Where Tim's proposed page tree recommended pages that do not already exist in the Dev Guide, I added these pages in the nav file with comments.
- Pages-to-be-created do not yet have files. (I even removed some placeholder files that @ErichBSchulz created earlier so that this rule is upheld across the board.)
- I captured all the info from @totten's proposed page tree in google docs. Where Tim had written summaries of the new pages to be created, I added those in comments in the nav file
- I did make some small tweaks to Tim's page tree, but these are easy to change later if we want to discuss them