[Git][ghc/ghc][wip/jeltsch/known-key-removals/fingerprints] Remove the unused known key and name for `Fingerprint`