Re: [GHC] #9885: ghc-pkg parser eats too much memory