Tom Hopkins died last weekend

Howdy!

I'm fairly certain that you read the news and saw the obituary, but you never know.

I will refrain (for the time being) from saying anything about his work...