Merge "Refresh INSTALL's version numbers from RELEASE-NOTES"