25 Sep
2019
25 Sep
'19
7:58 a.m.
BTW yesterday I recognized that stacking of my margin notes now works without my manual shifting. That’s great, thank you! The attached example is probably not minimal, but just in case someone’s interested. Best, Hraban