[PD-dev] [ pure-data-Bugs-3613672 ] search bar in help menu