Mon Sep 24, 2018 8:58 am
Not sure what you are referring to. I can't find such Help menu in Marble.
Thanks for the other clarifications too. So the short answer is: even developers don't know for sure