3 ms·

I am surprised to see, looking at his account just now, that his last post was ten years ago. I hadn't realized it'd been so long.