Elaborate getting a current working copy.

The `git checkout` step from #3098 got removed by some merge, so here it is again.
I understood this document as a guide for end-users to building the latest release from source in contrast to using the prebuilt releases or package management. Building master's HEAD seems a developer-only use case.