chiark / gitweb /
man: remove erroneous history section