chiark / gitweb /
Fix banners in man pages.