Another lot of Guix devs use GuixSD, I think. ;-)