2 ms·

That is a good point...

• johansch 11y ago
  ...so I deleted the top comment.