Author: Urs Format: MarkdownItexa stub, for the moment just for completeness and to satisfy links
<a href="https://ncatlab.org/nlab/revision/positron/1">v1</a>, <a href="https://ncatlab.org/nlab/show/positron">current</a>
a stub, for the moment just for completeness and to satisfy links