The problem with the editing system is that it allows a user to edit a post while another user is editing it, too.
This happened here. P. E. Dant submitted his edit while I was editing the same post; I then subsequently submited another edit. Consequently, it seems that I rolled back the very nice edit by P. E. Dant.
I think this problem is likely to cause an edit-rollback war or maybe blind downvoting which would probably happen by virtue of madness and annoyance.
In my opinion, it's a good idea to wait for a few minutes before editing a post; sloppy writers like me tend to submit a post without thoroughly proofreading it, but we'll notice the mistakes just a few minutes after the post has been submitted.