I did the same. Looks like the mods caught it and deleted the troll's post and all the off-topic comments.
I get it that it's important not to give trolls too much attention, but it's always a good idea to report any behavior that violates the platform's guidelines, including trolling or harassment. This helps to maintain a safe and respectful environment for all members. I'm glad the mods share the same perspective.
Thank you.
From what I've seen I think that the account was not banned (not even temp ban), still, removing that garbage is an obvious step forward.
So I'll add my "thank you" to the mods too.