[PD-dev] [ pure-data-Bugs-1825737 ] helpmenu crash with leopard