4 ms·

If that comment were originally posted on HN, it would deservedly be downvoted as a mischaracterization.