[OpTeX] New trick to make sure margin notes don't overlap.
OpTeX Tips and tricks section was updated with a macro that automatically makes sure that margin notes don't overlap. It's otherwise a problem when the margin notes are too close.
If you want to do it manually you can use \mnoteskip, but this is an automatic way.