3 ms·

In case he doesn't, you might as well email him about it. He's a very responsive guy and might find it interesting.