https://www.gnu.org/software/guix/manual/guix.html#FOOT1 doesn't work by default