Readme tweaks. (Too much Latex.)