Copy edits

And switches a Wikipedia link to `https://`.