Note that the automated update of RELEASE accidentally updates something that it shouldn't, which then needs undoing