So even if that guy edits his post, there's no escaping.
If a user corrects his own post, he doesn't get banned.
Yep it was on me to just report it and not mention it. Oh well, I guess I wanted to give him a chance to escape, so I can catch him again next time I suppose.

You know in times like these, I'm often reminded of some words by my good friend Carl.
"This doesn't matter. None of this matters."