Update HOW_TO_RELEASE.txt