chiark / gitweb /
man: this time, fix Documentation= properly