[proposal] rename `/src/server`

[bcolloran]

@wlach @hamilton @mdboom -- i think we should rename the "server" in /src/server -- it always trips me up that we have that and also a root level /server folder. here are some options to get the discussion rolling -- please flag your favorites and feel free to add your own ideas:

• nav
• nav-pages
• user
• user-pages
• home
• landing

i'm not really attached to any particular option, i just think we could make the distinction between the django server back-end and the nav/home/landing/whatevs front-end a bit clearer.

[wlach]

How about renaming it to "site"? None of the suggestions above seem to fully encompass the full functionality of these pages.

[bcolloran]

"site" works for me :-)

any other ideas or counter proposals to "site" @hamilton or @mdboom?

[mdboom]

"site" WFM.