I just want to mention it because it's not the first time that this weird thing happened to me. Sometimes when I edit a question or answer, I see the poster makes minor edits to remove my name. I got used to it and interpret it as "I don't like to see your name next to mine, go away"! Today an old user did the same thing twice, at first I thought I was wrong but when I corrected the typo again, they made a minor edit just to get me to stop editing. I was bitterly disappointed by it. Should I take an action in these cases or is it better to ignore it? While editing is a core, fundamental Stack Exchange value, or so I've been told.
You should assume good intentions when multiple edits happen in a short time. Edits that are judged to be more substantial will silently overwrite smaller edits that happened in the meantime. The grace period for edits makes this even more complicated, and can lead to completely misleading edit histories. E.g. the emtpy edit you can see in the version history on your example is likely caused by overwriting edits during the grace period.