Author: Dmitri Pavlov Format: MarkdownItexDeleted old queries about formatting that are no longer relevant.
<a href="https://ncatlab.org/nlab/revision/diff/Trimble+on+ETCS+III/15">diff</a>, <a href="https://ncatlab.org/nlab/revision/Trimble+on+ETCS+III/15">v15</a>, <a href="https://ncatlab.org/nlab/show/Trimble+on+ETCS+III">current</a>
Deleted old queries about formatting that are no longer relevant.