3 ms·

I had to go back and reread GPs comment because I didn’t sense any snark the first time. Still not sure if I do.

• bugfix-66 4y ago
  That's right. There was no snark intended.