By: Michael Lynch <git@mtlynch.io>
Replace mobile hamburger menu with More dropdown Keep Home and Lists visible at every viewport size. Move secondary navigation and logout into a right-aligned More dropdown so it remains within the mobile viewport. Testing: nix flake check; ./dev-scripts/git-hooks/pre-commit
| Time to Start | Worker time | Duration | Time to finish | Idle | |
| Config | 2s | 11s | 11s | 13s | 2s |
| Eval | 10s | 44s | 44s | 55s | 0s |
| Build | 38s | 8m14s | 2m02s | 2m41s | 0s |
| Suite | 2s | 9m10s | 2m39s | 2m41s | 2s |