chiark / gitweb /
actually clean out unwanted file handlers; docuemtn -reverse options in right place