5 ms·

Thanks for sharing this, and for explaining his contributions to those of us who didn't know him! RIP.