3 ms·

It is in the first paragraph

• woodruffw 4y ago
  You’re right, sorry — I missed that. I’m going to edit my comment with an explicit correction. The second point still stands.