manpage-wrong-extension (binary): manpage-has-wrong-extension usr/share/man/man1/example.man.gz
