[DasIch]

I don't see the problem on this page[1]. In any case this would be an issue with the builder that turns the doctree into HTML, PDF or whatever.

[1]: https://ghc.readthedocs.io/en/latest/8.0.1-notes.html#hsc2hs

[cm3]

As I wrote, HTML is fine, PDF is not.