[Git][ghc/ghc][master] Remove the unused known key and name for `Fingerprint`