Vlad Yes, I think we can close this one, as I had forgotten about it.
I think this issue was with a very old build, and it did seem to be more of a webkit issue. Either that or I got used to it, but the lack of other users complaining about it suggests it is fine now 🙂