Re: [GHC] #11551: Get doctests into testsuite