I noticed that sometimes a user decides to go on a huge minor edit spree (such as right now, a user edited 10+ posts with rather frivolously, mostly grammar but sometimes even just adding a dash or a capital letter). I would like to discuss the rejection of "too minor."
The pro I can see is that it makes posts cleaner -- adding a small LaTeX or fixing a grammar mistake does improve the post, albeit slightly.
The con is that it bumps the post unnecessarily and it congests the review queue (though this isn't really a problem because of all the people who are willing to review them). The former is especially important when the posts are old.
Personally, I did reject them for being "too minor" since I felt they did not enhance the post in any meaningful way. What are your thoughts on the matter?
In the meanwhile, can I report someone for trivially editing old posts (years, in some cases), presumably to get the archaeologist badge?