Hi, Some new users don't run `guix pull` before installing, and can have a less good experience because of this. Proposing a patch to add this to the manual. Thanks, Petter