manpage-wrong-extension (binary): wrong-name-for-manual-page usr/share/man/man1/example.man.gz
