RIP. I didn't know him IRL, but I remember him fondly from the Python Usenet group and Python bug tracker discussions.