I think it is important to match coworkers by their caliber. You're right, if you have one really amazing developer and a bunch of mediocre developers that one really good developer could become bitter.
Seems like the case here, if someone is leaving hundreds of opinion-based criticisms of someone else's work that's a pretty clear indication of dissatisfaction.
