guix-install.sh: Use the "ci.guix.info.pub" file name for clarity.