Forget file extension in manpages-fr-extra