On Saturday, February 29, 2020, Mark Stephen Mrotek <address@hidden> wrote:
Paolo,
Looking at the referenced post, as a performer I have to ask “Why?”
Mark
Because I experience these cross-staff collisions very frequently and, given that there won't be an improvement of that interface in the next future, then I'm coding some workarounds.