piping --help to the head command, as mentioned in #1072, isn't necessary anymore (in fact, doing that doesn't work at all now) See https://github.com/jgm/pandoc/commit/273d90b
piping --help to the head command, as mentioned in #1072, isn't necessary anymore (in fact, doing that doesn't work at all now) See https://github.com/jgm/pandoc/commit/273d90b