chiark / gitweb /
Fix banners in man pages. Fix missing bracket.