… but then ‘sudo guix pull’ won’t update root’s guix at all. Otherwise I’m thinking of this gross hack: