@angelastella @wakame Well, that is one way yes, I was mostly wondering how this specific instance by @markarayner does.

I would be inclined to have a dedicated autorepeat on/off switch and leaving it off entirely most of the time.