documentation no longer needs to cover checking out this repo, now that we're building from the zipball