Re: [GHC] #13164: idle time full GCs (idle cpu usage)