4 ms·

I wonder if he came up with it when pondering permuted indexes. Which used to be a feature of the man pages system.