I donated $25, don't know this guy, but thanks for all he did on PHP that all my websites run on.
As a separate note, php.net probably can have some donation button, that it can use to boost PHP community, including helping key contributors like Richard too.
