Occasionally, someone posts something that is completely unintelligible or spam. Users then proceed to flag the post. Then the poster edits to replace the gibberish or spam with something more legit. Something like that happened today.
When a few of us flagged the post (as rude/abusive, due to the gibberish*), it looked like this:
The user then edited their post such that it didn’t qualify for the rude/abuse flag. Since they did it within the five-minute grace period, someone now has a flag sitting in the flag queue that is, to any moderator reviewing it, invalid.
Since flags are a big deal, and one can get in serious trouble for misusing spam/abusive flags (due to their firm penalties), we should terminate the grace period (in which the OP can edit their post without creating a revision entry) as soon as a post gets a flag.
We already do this with comments: If you comment on a post, the grace period is terminated. It’s only logical to do the same with flags.
* The validity of that flag might be questionable, but it’s not what we’re talking about here