4 ms·

The comment you linked discusses the source of a different project, doesn't it?

• eric-hu 8y ago
  You're totally right. I remembered that incorrectly and then didn't double check when I saw the link. My mistake!