[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.