[PD-dev] [pure-data:bugs] #1190 Search bar for help in yosemite does not work