Re: Proposal: cabal-install: verify OpenPGP signatures