This minor issue came up when one my posts was edited in a trivial way, and then approved.
Essentially, the edit was to change the spelling of one word. I see Batman rejected it as too trivial.
Curious, I looked at the user involved. There are a bunch of similar, recent edits, all of which are similarly lightweight.
My own personal discomfort is easily overcome - I can just roll back the edit.
So I see two issues here. The most important is that such trivial edits are being routinely approved. I have always understood that edits should make a substantial improvement to a post - in my view none of the edits in question meet that test. How can this be addressed?
The second is "rep harvesting" by the user. They have more than 2k rep on SO, and so should be reasonably responsible. I think these edits should be rolled back wholesale.
Thoughts? Am I over-reacting?