[PD-dev] [ pure-data-Bugs-3100302 ] vers. 0.42.5-ext.