Updated RELEASE (post facto, unfortunately).