Is it as simple as rm'ing system-N-link from /var/guix/profiles && 'guix gc'...? Recreating grub.cfg with 'system reconfigure', at least, would be needed in order to prevent fubar on trying to boot into non-existent menu definitions. Still, that will create yet another system profile... Fun, Drp -- (or ((,\ (x) `(,x x)) '(,\ (x) `(,x x))) (smth (that 'like)))