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