[PD-dev] [ pure-data-Patches-3257602 ] add menubar ALT shirtcuts