Release Procedures

(Unlabeled items are handled by the Release Manager)

Patch releases (x.y.z, z ≥ 1)

Dot-zero releases (x.y.0)

TODO: Unresolved/unautomated items. (I.e., someone usually remembers to do it.)