2 ms·

For the record, that's not what happened, but I can see how you might suspect that. Updated the comment with an explanation.

• hu3 6y ago
  I'm just glad you completely edited your original message and the unnecessary snark is gone along with it.