[PD-dev] [ pure-data-Bugs-3012451 ] plugin~ help patch needs replacement