3 ms·

I hoped that he would see it when it was cross-posted on his blog's comment section, but I also agree that this tangent is not particularly useful.