Re: [GHC] #10425: User's guide PDF version: Example with wrong indentation in Section 13.1.1.2