GitHub already prints the page name, so pages drop their own title The wiki renders the file name as an h1 above every page, so a leading "# Title" showed twice on all 41 pages. Removed it everywhere. That makes the file name the title, and it has to be chosen as one: every ASCII hyphen in it renders as a space, so six pages were titled wrong in the page list and search results as well as at the top. They are renamed, using U+2010 for a hyphen that has to survive and U+2215 for the slash in TI-99/4A. A slash that was only shorthand is dropped instead, which is how the HDMI dongle lost the one in A/V. Renamed pages are linked with markdown links rather than [[...]], so the exotic character stays in the slug and out of the prose. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
timing
wiki
wiki updates