Merge "README: Remove outdated references to tex docs"