Oh, shit.  No, he should be fired too.  I didn't realize he was actually an employee because he doesn't appear on the moderators list for reddit.com.

I think my campaign to get you fired is gaining momentum.  I used to get universal downvotes, but now it's about 50/50.  :)