RFC: Finding the needed OpenPGP key (was: Proposal: cabal-install: verify OpenPGP signatures)