diff --git a/docs/docs/development.rst b/docs/docs/development.rst
index 9b0e8248..ec981e8b 100644
--- a/docs/docs/development.rst
+++ b/docs/docs/development.rst
@@ -22,11 +22,12 @@ couldn't get rid of complexity. I know that **simple is better than complex**,
 but unfortunately it sometimes requires complex solutions to understand complex
 systems.
 
-In five chapters I'm trying to describe the internals of |jedi|:
+In six chapters I'm trying to describe the internals of |jedi|:
 
 - :ref:`The Jedi Core <core>`
 - :ref:`Core Extensions <core-extensions>`
 - :ref:`Imports & Modules <imports-modules>`
+- :ref:`Stubs & Annotations <stubs>`
 - :ref:`Caching & Recursions <caching-recursions>`
 - :ref:`Helper modules <dev-helpers>`
 
@@ -177,6 +178,12 @@ Imports (inference/imports.py)
 
 .. automodule:: jedi.inference.imports
 
+.. _stubs:
+
+Stubs & Annotations (inference/gradual)
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+.. automodule:: jedi.inference.gradual
 
 .. _caching-recursions:
 
diff --git a/jedi/inference/gradual/__init__.py b/jedi/inference/gradual/__init__.py
index e69de29b..5c86b7b3 100644
--- a/jedi/inference/gradual/__init__.py
+++ b/jedi/inference/gradual/__init__.py
@@ -0,0 +1,4 @@
+"""
+It is unfortunately not well documented how stubs and annotations work in Jedi.
+If somebody needs an introduction, please let me know.
+"""