Re: [GHC] #9508: Rename package key