Re: [GHC] #10714: After implementing new installed package ID (hash of sdist), get rid of package keys