4 ms·

I see just a question, nothing "nitpicky dismissive" ? Has the comment been edited into a more neutral tone ?