docs/release.txt: Update.