Move the typing tools section to the index (#847)
* Enable the intersphinx extension for linking to Python
documentation.
* Use inline links instead of footnotes for links to projects and
modules.
* Mention that typed_ast is available on PyPI.
diff --git a/docs/conf.py b/docs/conf.py
index f870c7b..f16401b 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -50,3 +50,6 @@
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = []
+
+extensions = ['sphinx.ext.intersphinx']
+intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}
