Add sphinx documentation for old assumptions in the core