pandoc does not gzip man pages and some older man versions really want to believe in file extensions