4 ms·

I don’t think that is pedantry. Translations are interpretations by a third party that may or may not have an opinion on the topic.