3 ms·The point of this discussion is pedantry.by Supermancho 8mo agoThe point of this discussion is pedantry.