chiark / gitweb /
Minor changes: tags, typos, links and other cosmetic changes.