Elaborate getting a current working copy.

The `git checkout` step from #3098 got removed by some merge, so here it is again.
No, I agree.

Like I said, I'm sure people have the common sense to figure out any ambiguity, even this small one.