Add project logo to authenticated web UI

web_assets/SOURCES.md

@@ -1,11 +1,12 @@
 # Vendored web assets
 
-These browser distributions were downloaded from the exact-version npm packages via unpkg.
+The browser distributions below were downloaded from the exact-version npm packages via unpkg. `logo.png` is a project-owned optimized copy of `images/logo.png`, generated at 64×64 for the authenticated web interface.
 
 | Package | Version | License | Local files | Upstream URLs |
 | --- | --- | --- | --- | --- |
 | `@xterm/xterm` | `5.5.0` | MIT (`xterm.LICENSE`) | `xterm.js`, `xterm.css` | <https://unpkg.com/@xterm/xterm@5.5.0/lib/xterm.js>, <https://unpkg.com/@xterm/xterm@5.5.0/css/xterm.css>, <https://unpkg.com/@xterm/xterm@5.5.0/LICENSE> |
 | `@xterm/addon-fit` | `0.10.0` | MIT (`addon-fit.LICENSE`) | `addon-fit.js` | <https://unpkg.com/@xterm/addon-fit@0.10.0/lib/addon-fit.js>, <https://unpkg.com/@xterm/addon-fit@0.10.0/LICENSE> |
+| Project logo | — | Project-owned | `logo.png` | Generated from `images/logo.png` |
 
 Package metadata: <https://unpkg.com/@xterm/xterm@5.5.0/package.json> and <https://unpkg.com/@xterm/addon-fit@0.10.0/package.json>.
 

web_assets/generate_embedded_assets.py

@@ -8,6 +8,7 @@ ASSETS = (
     ("xterm.js.gz", "web_asset_xterm_js_gz"),
     ("xterm.css.gz", "web_asset_xterm_css_gz"),
     ("addon-fit.js.gz", "web_asset_addon_fit_js_gz"),
+    ("logo.png", "web_asset_logo_png"),
 )
 
 ROOT = Path(__file__).resolve().parent.parent