I was annoyed as well. I would've been fine with deleting his posts. At least we'd still have posts of others that contributed.

Going forward, we really should capture such useful information in the wiki so it's there for good and not rely on stickies.