3 ms·

It would be interesting, if, when replying, other comments by the person on the same HN post were available.