3 ms·

I worked with him at Ghostscript, then we occasionally crossed paths in Rust. He was indeed very kind. Peace.