3 ms·

The text now says that, yes, but the original did not according to archive.org.

• buescher 2y ago
  It's an elegant fix that adds nothing.