3 ms·

Egads, if the parent post wasn't edited, then I misread it. Sorry about the confusion.

• mkl 4y ago
  It was edited.