Tweak doc/README.txt to reflect the latest version