chiark / gitweb /
scan a doc for a thing made some time ago