Make it possible to affect the extension of man pages.