I flagged this answer as "not an answer" because as originally written it didn't address the question at all. But within a few minutes, the author edited it into a nice answer, and now my flag is just foolish. So
- Sorry to the diamond mods, and
- What's the best thing to do in this circumstance, since there's no way to delete a bad flag? Should I just forget about it? Post on meta? Burn some incense? Feed a unicorn?
Postscript: the flag was declined, rightfully