Improve installation instructions.
GitHub repository name should not need to match if auto-resync is not
occurring.