How sad! At least he left his mark on the world and the people in it. It was good of you guys to commit a little page space to him today.

PS Wow, did he contribute to a lot of plugins! It's often too easy to forget that all these amazing things we enjoy are the product of someone's ingenuity and hard work--and, in the case of WP, often freely given.