Final (hopefully) revision of the README.md.