Re: [GHC] #10475: detabify User's Guide