Add menu button to go the docs
While using the (Emulab) portal, I find myself often wanting to go to the docs. I find myself wanting to do this while explaining things to students, too.
It would be handy and useful to have a "Docs" button in the menu bar of all pages, I think.
The current "Wiki" button isn't all that useful, I think, since the wiki mostly (entirely?) describes the classic interface.