chore(dev/release): Document missing pieces of release process

[paleolimbot]

A few post-release items were undocumented. They are also good candidates for future automation (but at least now they are documented!)