On Tue, Jul 02, 2019 at 11:54:17AM -0400, Leo Famulari wrote:
> This is also being discussed privately with the Guix maintainers. I
> expect to push an update for the manual and HACKING today.

An update on this:

The initial plan is to add the Guix signing key to the new
abuse-resistant keyserver at <keys.openpgp.org>. Once that has been done
we can update the manual and HACKING to point at this.