To ping mods, you flag a post as “Something Else” and give a reason for the flag/ping - Regularly reporting a post (off topic, spam, inappropriate) is a placebo/doesn’t actually do anything.
Also, even then, the mods need to actually bother to open the devforum, and then bother to read reports, and then bother to take action on said report, which is extremely questionable at best and mostly just a case of being lucky/hoping you get one of the good moderators.
A run down of the events that happened
The dude earlier got simply given a singular feedback from one moderator (not naming names cause everyone knows that moderator doesn’t do their job) despite having spammed gore for a few hours, then took an hour for them to get an apparent permaban/suspension from the forum (which didn’t even do anything, because they posted their ban message, said apparent ban message being sent from the first mod from earlier) and it took another 1-2 hours for the oh so urgent “Something Else” flags to be read by another moderator (who, surprise surprise, is known for being one of the only people who actually does their job) and finally get them permabanned/suspended properly
So, long story short, the only way to report a post is via “Something Else”, and then you have to wait an unknown amount of time which can be literal hours for it to be read, and even then you have to pray the moderator who handles that report is one that bothers to read it and take action on the post.