This reverts commit c423dbb5a3.
c423dbb5a3
This is needed for ghci to work with pandoc, given that we now use a custom prelude. Closes #2503.
We only support the href attribute, as there's no place for "target" in the Pandoc document model for links. Added HTML reader test module, with tests for this feature. Closes #1751.