Hi All, When attempting to install on Debian 9, the following was shown. I just wanted to ask here if this was the expected output. evan@c32foss:~$ gpg --verify guix-binary-0.14.0.x86_64-linux.tar.xz.sig gpg: assuming signed data in 'guix-binary-0.14.0.x86_64-linux.tar.xz' gpg: Signature made Thu 07 Dec 2017 03:30:08 AM EST gpg: using RSA key 3CE464558A84FDC69DB40CFB090B11993D9AEBB5 gpg: Good signature from "Ludovic Courtès " [unknown] gpg: aka "Ludovic Courtès " [unknown] gpg: aka "Ludovic Courtès (Inria) " [unknown] gpg: WARNING: This key is not certified with a trusted signature! gpg: There is no indication that the signature belongs to the owner. Primary key fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 The 2nd & 3rd to last lines seem somewhat concerning. This is the message I recieve even after following the step to add the public key from the MIT server. Steps I am referring to are here: https://www.gnu.org/software/guix/manual/html_node/Binary-Installation.html#Binary-Installation -- - EJR