Re: [GHC] #10500: GHC runs out of memory building unicode-properties