Release checklists

Note: This assumes that local `develop` is a mirror of `upstream/develop`. We haven't all been following that convention, but we should.