Clarify GitHub hosting & pull requests.