Delete release.txt since it's simply obsolete.