3 ms·

I hope so too. The way this change happened however leaves a really bad taste, and not in the least due to whatever Stallman has said or done.