Re: [GHC] #8861: Use commas to separate thousands when printing memory stats