Developer's Guide: refresh release procedures