chiark / gitweb /
man: fix unused, inaccurate metadata