3 ms·

Why make it a nitpick and not a fun fact? :)

• JdeBP 7y ago
  If it were a fun fact, it would have to point out that it is an ex command. Nitpicks do not have to be quite so factual. (-: