Re: User manual broken

Simon Peyton Jones via ghc-devs writes:

I’m getting tons of this stuff from the user manual type setting. Might someone fix it?

Yes, I'm on it. Cheers, - Ben