Modify release instructions in HOWTO