Author: Urs Format: MarkdownItexremoving this ancient and redundant page, following discussion [here](https://nforum.ncatlab.org/discussion/14319/community/?Focus=98987#Comment_98987)
<a href="https://ncatlab.org/nlab/revision/diff/Content+%3E+history/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/Content+%3E+history/7">v7</a>, <a href="https://ncatlab.org/nlab/show/Content+%3E+history">current</a>
removing this ancient and redundant page, following discussion here