It's an internet forum...
What's difficult about ignoring an agitator? They eventually drop off.
If posters just stay on topic and ignore, agitator finds anther sandbox to play in.
Pretty simple.
Some may need to get out more often or find another activity to get away from the keyboard.