Hmmm, I've noticed this in the PDF output but haven't yet seen anything similar in the HTML output. Could you point me at a specific example?
HTML of the same section is fine.
There must be a way to fix this in the pipeline. I mean, you cannot find each and all and try to manually adjust the text.
[1]: https://ghc.readthedocs.io/en/latest/8.0.1-notes.html#hsc2hs