chiark / gitweb /
man: strip the comments in man page headers