Update README to include doc info.
Update TODO: We can look up symbols in the manual.