manpage-has-wrong-extension

This tag has been renamed to wrong-name-for-manual-page.