4 ms·

I think it's a good edit. I don't know if it's a better title in general, but it avoids this major distraction.