Author: jesuslop Format: MarkdownItexHi, I did some minor edits of "nerve", changing a N(D) for a N(C), and while the entry [[nerve]] renders fine, the diff shows a yellow box with "Unknown node type: span". I'm leaving that this way if not told otherwise. [Diff](https://ncatlab.org/nlab/revision/diff/nerve/52).
Hi, I did some minor edits of “nerve”, changing a N(D) for a N(C), and while the entry nerve renders fine, the diff shows a yellow box with “Unknown node type: span”. I’m leaving that this way if not told otherwise. Diff.