Repository navigation
- The install note in Settings now sits under the settings card, in the same style as the main banner but in quieter colors.
- Only one install notice shows at a time: the Settings note appears after you close the banner on the main page.
- On a plain-HTTP dev server, Settings shows "Version DEV" instead of an empty line.