You can be sure it would have been if that comment was in a post that reached their manually managed front page.
Also 136 accounts were added to their kill list.
Probably they have overseen it, but if anyone reported that, the account would be doomed.
And their ban appeal form (https://www.reddit.com/appeals) is likely just fake placebo.
(post is archived)