Well, to be honest, any bot could have produced what you did there so unless you have proof that it was vindictive flagging and not due to some other reason...?

This is not to suggest I think what he did was right. But had he done it today I would simply have shrugged, because since the changes to guidelines for the "flag" I'd be willing to downvote/"flag" that post for being rewarded too much. -Nothing personal and not that it would actually matter a whole lot when I did it.