Make top tab nav reliable

[carlgieringer]

I had to add another tab Home or else the active tab highlight wouldn't move away from the previous tab when I navigated home. (Besides having an explicit Home tab is probably a good idea for usability.) I actually have no idea why navigating home (say using the logo in the upper left) correctly updates the tab highlight to the Home tab. But it works.

Long term solution might be to use a different tab component that lets us control what appears on the page using react-router.

Fixes #630

[github-actions]

Changed-files coverage summary

=============================== Coverage summary ===============================
Statements   : Unknown% ( 0/0 )
Branches     : Unknown% ( 0/0 )
Functions    : Unknown% ( 0/0 )
Lines        : Unknown% ( 0/0 )
================================================================================