Name each install, fix the notification badge, switch to Archivo

- Settings > General: an App name (super admin) for the installed app.
  The manifest's name/short_name, the iOS head tags and the loading
  page's title use it, so two installs on one phone can be told apart.
- Notifications get a real badge (white stone silhouette): Android masks
  the badge by alpha, so the opaque app icon showed as a square.
- The loading and offline pages load the app's font.
- The font is now Archivo (variable, one request for every weight),
  matching the marketing site.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

src/types/index.ts

@@ -1438,6 +1438,11 @@ export type PagePropsType = {
      * at once, with the code's defaults (the General settings page).
      */
     skill_limits?: SkillLimitsOverview | null;
+    /**
+     * The name the install goes by as an installed app (Settings >
+     * General, and the root's head tags). Empty when never named.
+     */
+    install_name?: string | null;
     /**
      * The release the server is running, for the General settings page.
      */