4 ms·

FWIW I thought your comment was aggressive and borderline rude. Being right and being polite are not mutually exclusive.