Hi Ludo’, > Any other really important bit people would like to address?
Not critical, but it would be nice to update guix-install.sh to mention “ci.guix.gnu.org” instead of “ci.guix.info” for clarity, similar to this previous commit of yours [0] from a while back. [0]: https://git.savannah.gnu.org/cgit/guix.git/commit/etc/guix-install.sh?id=4a0b87f0ec5b6c2dcf82b372dd20ca7ea6acdd9c
