chiark / gitweb /
man: drop unused <authorgroup> tags from man sources