re-add the older 'unoptimized' debouncer for later