chiark / gitweb /
README.md: Provide and run update-readme-toc