Felix Cherubini

I'll do this from scratch some time - should be easier than updating this one... -> closing

I managed to make the ```Ignoring ...```-messages go away. If there is any speedup, it is barely noticeable. Really small pages with only a couple of lines actually take only...

Maybe I should add, that the nlab-content repo has a weird structure from a wiki-standpoint, since, so far, it is only used as a backup method (for this wiki https://ncatlab.org/)....

Many thanks for looking into this! I haven't figured out yet, how I can use your PR. Is that documented somewhere?

> I would argue that we do not want to suggest `--overlapping-instances`, but instead suggest that you make your instances non-overlapping. What about mentioning the possibility to use `--overlapping-instances` while...

Maybe it helps if I just clearly state what I want: * Currently, we use different names to distinguish operators like ```_$_``` for evaluation and ```_∘_``` for composition. For example,...

@marcinjangrzybowski is this ready for review/merging? @maxsnew are you up for reviewing this PR?