3 ms·

And this makes me question whether Github comments (at least on high-profile projects) should be open to anyone.