Bring RELEASE-NOTES up to date