3 ms·

I think it's unlikely that none of the dozens of GitHub employees who were working on this GitHub web editor were unaware of 1s.