Good idea - thank you!
I just tried it - but failed. MacOS claims "Program is damaged" and does not start it. :frowning: