3 ms·

Meh. I count roughly the same number of tokens either way. I really don't think this is that big of a deal.