This reverts commit c423dbb5a3.
c423dbb5a3
This is needed for ghci to work with pandoc, given that we now use a custom prelude. Closes #2503.
Fully implemented features: * Paragraphs * Headers * Basic styling * Unordered lists * Ordered lists * External Links * Internal Links * Footnotes, Endnotes * Blockquotes Partly implemented features: * Citations Very basic, but pandoc can't do much more * Tables No headers, no sizing, limited styling