Bug? I cannot submit it to codeberg, can someone do?
Ah: the hint displayed after guix pull and after guix install is
different from the one displayed in the manual. For example the manual
doesn't say "unset GUIX_PROFILE"
