Intersphinx

Use Sphinx’s own intersphinx files and APIs to get all symbol names.