3 ms·

You're taking this entirely too seriously. @marvin was very likely joking also.

• marvin 11y ago
  Kazinator is making a fair point. But yes, I was making a joke ;)