* CONTRIBUTING: Prefer an https URL, as that's friendlier

to people without a GitHub.  (Thanks to Tony Finch.)
* NEWS: Add thanks, and spell it "GitHub".