On Sun, 14 Mar 2021, Jack Hill wrote:

> After running guix gc, I rebooted, ran guix pull

Er, I wrote it backwords here, but I ran them in the correct order: delete 
roots, reboot, gc, pull, …