Tooling cleaned up and upgraded

The tools that went unused, or did a job worse than grep does, are gone; a small core stayed and what raises the quality of the result was added. Keeping the set small has been continuous work since, not a tidy-up somebody does once.

Added

9 August 2026

Finished

2 September 2026