[PD-dev] [ pure-data-Bugs-3606512 ] pd-ext .43 debian: ctrl-r doesn't work