d09d25ef9d
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.