3 ms·

Absolutely, my updated comment was merely a guard against expected pedantry :)

• loeg 7y ago
  Totally reasonable! It seems I was that kind of pedant anyway. I'm sorry. :-)