E: manpage-wrong-extension: manpage-has-wrong-extension usr/share/man/man1/example.man.gz
