4 ms·

I tried to comment that on the article. But they use Disqus which is hostile to people making comments.