pandoc `--help` now says something about pdf output.

Closes #720.