A few tweaks I noticed after doing this release:
- I forgot to add a summary line to this release; and forgot to mention
this in the release documentation.
- Steve suggested we create GitHub releases, so I added his instructions
for doing that.
- An older documentation link was wrong.