[basicoperation]

They fortunately fixed the repeating feature in iOS 18.3. Though it does seem a bit ridiculous that something like this is tied to the entire OS version.

[yreg]

Oh, nice - thanks! So it was a bug afterall.