Update docs/Release.txt for the version changes.