Author: Urs Format: MarkdownItexit's time to have a contents-table to be `!include`ed for cross-references in relevant entries
<a href="https://ncatlab.org/nlab/revision/KK-compactifications+of+M-theory+--+table/1">v1</a>, <a href="https://ncatlab.org/nlab/show/KK-compactifications+of+M-theory+--+table">current</a>
it’s time to have a contents-table to be !includeed for cross-references in relevant entries