[PD-dev] [ pure-data-Bugs-3488333 ] Help menu searching not responding