Revert "hopenpgp-tools failed (#5250)"
Revert "hopenpgp-tools failed (#5250)"

This reverts commit 55ded216230e3b5ef7f52d01d4df16e1e9d5bf58.

stackbuilders/stackage,asr/stackage,athanclark/stackage,fpco/stackage,clinty/stackage,iand675/stackage,massysett/stackage,Daniel-Diaz/stackage,simonmichael/stackage,soenkehahn/stackage,jonschoning/stackage,michalkonecny/stackage,mrkkrp/stackage