Um, none of my business (although I maintain the scoreboard topic and have to go through tons of brawls a day), but who cares if he edited the post!?! Even if he played the card afterwards it still counts! No need to restart, according to the rules that ability card counts.