2 ms·

Regardless, it seems to be helpful to others to point out what one finds worthy of discussion; that is actually the point of the comments, after all.