Fix hopelessly out-of-date README.txt.