Cool-tools: the old address of Cool tools

Cool tools moved to https://jonnystokes.github.io/cooltools/ on 2026-11-08 (the repository jonnystokes/Cool-tools was renamed cooltools). GitHub Pages does not forward a renamed repository's site, so this repository keeps the old address alive: GitHub Pages serves its 404.html for every address under https://jonnystokes.github.io/Cool-tools/, and that page sends the browser to the same page under /cooltools/ (with its ?… and #…). index.html is the same page, for the bare address.

The tools themselves: https://github.com/jonnystokes/cooltools

On Jon's PC this is C:\Users\jon\Projects\cool-tools-forward (its own git repo). If the site moves again, change the address in 404.html and index.html (both the same page) and push; the rules for the site are in Projects\WEB-APP-CONVENTIONS.md, section 6.