Update release procedures: more automation!