Elaborate getting a current working copy.

The `git checkout` step from #3098 got removed by some merge, so here it is again.
This section seems to assume you have just now cloned the repo (as per instructions above). In that case one of the two sections should lose the `cd` part.