Git-ignored the gzipped manpage.