Re: [GHC] #13165: Speed up the RTS hash table