3 ms·Probably more likely to be a typo (as in off-style guide) than a deliberate distinction!by OJFord 2y agoProbably more likely to be a typo (as in off-style guide) than a deliberate distinction!