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