3 ms·

Thanks for asking the question I was embarrassed to ask - now I'm even more impressed with his accomplishment!