Closing this. As of 63c799c1 the instructions were changed to use `guix git
authenticate` so the additional advice is no longer relevant.