Also: this automatically updates the version number in the docs, so I don't have to with each release. (transplanted from 72778f1e98f06c1e02f88dc8d263027d61469766)