Marc Gravell c0b2097129 Pin the docs site config, and give it a favicon (#2224) ...

The site was running on GitHub's defaults, which take the title and description
from the repo's name and description fields - so an edit in the repo settings UI
quietly changed the site's metadata. Those are pinned now, along with the URL,
which is what jekyll-seo-tag uses to build canonical and og:url.

Also: strip_title, so the page title stops being printed twice (once in the
theme's header banner, once as the heading it was derived from); jekyll-sitemap,
which is not in the always-on GitHub Pages plugin set, for the sitemap.xml and
robots.txt the site did not have; and a favicon built from the project logo,
hooked up via the head-custom.html include the theme provides for exactly this.

Claude-Session: https://claude.ai/code/session_01NxkjXSR7CSGzyw89tJJVtw

2026-08-18 14:42:43 +01:00

..

head-custom.html

Pin the docs site config, and give it a favicon (#2224)

2026-08-18 14:42:43 +01:00