Zistoloen is by far our most prolific post editor. Overall, I find his edits appropriate and appreciated.
"Too minor" edits are most problematic when they don't fix all the problems in a post. In the case of your post, there are no other problems to fix. They could also be problematic when they are done by new users for some easy reputation points. Zistolen doesn't get reputation for editing as he is past 2000.
Zistolen has made minor edits to several of my posts and I appreciate those. Sometimes he fixes issues as minor as changing "Google webmaster tools" to "Google Webmaster Tools". Edits that slightly improve an already good post in this way are appropriate from experienced users of this site in my opinion.
As for "robots.txt", maybe we should have a sitewide guideline for how it should be formatted. I usually like to see file names with some sort of special formatting compared to the rest of the text. Myself, I tend to use code formatting
.
As for removal of the upvote, you are assuming that it was Zistolen, but that is just an assumption. His edit opened the door for anybody who previously upvoted to remove the vote and any one of them may have done so. Even as a moderator, I have no way to verify who votes on what (or who removes votes.)
Using a minor edit as an excuse to remove a down vote is certainly not keeping in the spirit of this site. Zistolen, if you are in the habit of doing that, please stop. As you can see, it looks bad and can make other editors unhappy.
Unor, I want to say to you that I find your answers to be insightful and helpful. If I encounter a question that you have answered, I almost always feel relieved that I can upvote your answer rather than try to come up with an answer myself.
The voting and reputation on this site is very addictive and it is one of the things that gets me coming back to the site. Every once in a while I need to remind myself that these are imaginary internet points and my real goal on this site is to provide help to those who need it in an area in which I have a great deal of expertise. It is tempting to let the competition for points get in the way of that.
I would hate to see bad feelings about 10 reputation points and who has the higher scored answer on a single question alienate either one of two of the best contributors we have to this site.