Thread:Tupka217/@comment-35690176-20180526060402/@comment-1038387-20180526062119

That's really not important. Minor edits are useful on things like Wikipedia, with lots of edits where insignificant ones need to be filtered out by admins. But here, we can monitor all changes so it doesn't really matter.