5 ms·

Needless snark like this completely lowers the quality of discussion. Just make your (agreeable!) point and move on.