Yes that was a small edit and was probably not the most urgent, but the user felt that it made the title more readable. I wouldn't have made that same edit, but I don't think he made the post any worse with the edit. Your edit to fix his edit was similarly unnecessary. I don't think anything really needed fixing there, but of the 3 variations, the original title was by far the worst since it is an inappropriate use of the word "when".
And just the same as you, the editor had 2K rep, so they were not bound by any minimum edit length. Suggested edits made by users with less the 2K rep have a minimum of 6 characters and much of that restriction is to prevent users from wasting reviewers time approving tiny edits. Since 2K users don't need reviewers, there isn't anyone's time to waste. Yes it did bump the post, which is why I wouldn't have made the edit, but as long as the user isn't bumping dozens of posts with the same edit, I fail to see the problem.
It seems to me, there should be some sort of restriction to prevent excessively minor edits. For instance, have edits of less than X characters placed in a separate review queue marked minor, perhaps which have a different reputation impact.
This is already handled. Users who make suggested edits and earn rep from such edits cannot make minor edits as I mentioned above. There is no need for any additional features to deal with it. For users with >2K rep and have full edit privileges don't have a review queue because we trust them to make good edits. Sometimes that trust is misplaced, but forcing small edits from these users to go into a review queue adds unnecessary burden to the system and actually will waste far more time than just allowing the small edit as you now will need people to review the small edit.
Maybe also include an indicator on the post itself showing how much of it is left of the original, so we can see at a glance how much of the visible post was originally published.
What is the benefit of this? I don't see a use-case where it is necessary to know what percentage of the original post is left. There are times when it might be useful to know what was edited (and why), and for that you have the revision history. But I certainly don't see a need to know a percentage of the changes when viewing the question, as the content and quality of the edit is what is important not the quantity.