Add sphinx documentation for old assumptions in the core

Sphinx automatically generates a global index if references are written in this way.