Author: Urs Format: MarkdownItexclearing this ancient, abandoned and redundant entry,
following the discussion [here](https://nforum.ncatlab.org/discussion/14319/community-history/?Focus=99016#Comment_99016).
<a href="https://ncatlab.org/nlab/revision/diff/All+Pages+%3E+history/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/All+Pages+%3E+history/13">v13</a>, <a href="https://ncatlab.org/nlab/show/All+Pages+%3E+history">current</a>
clearing this ancient, abandoned and redundant entry,
following the discussion here.