For pity's sake, just ban him!
This is the second time I've asked for posts to be reported using the RTP feature. There is a risk you're coming across as a self-appointed moderator, particularly if you're going to jump on members for asking pretty innocuous questions. Rather than just letting it go, posting simply derails the thread.
Your point is well taken. If anything, it's the "GMB format" thread where the report feature could most-fairly have been deployed.
I shall attempt to pick my battles more-carefully next time.
How about not 'picking battles' at all, and just ignoring posts you're not interested in, instead of trying to instigate the banning of other users because you are personally uninterested in their posts?
Guess who's big in the back time.