Repository navigation

Docs site: title duplication, stray underlines, favicon - #3183

Merged

mgravell merged 3 commits into

mainfrom

marc/docs-polish

Aug 18, 2026

Merged

Docs site: title duplication, stray underlines, favicon#3183
mgravell merged 3 commits into
mainfrom
marc/docs-polish

Commits on Aug 18, 2026
- Stop Cayman printing every page title twice
  mgravell
  committed
  d26d5df
- Remove setext underlines left behind in Configuration.md
  mgravell
  committed
  eaa0a10
- Give the docs site a favicon
  mgravell
  committed
  186f20c