I've given up on the whales. Am organising us minnows to defeat him. If you want something done properly, do it yourself I think.
Please add #hgin to your username and posts, and follow others that do to help organise our movement.
I am also working on a tech solution for this, watch this space ;)
There are some accounts you can delegate to that flag him. Just see who flags regularly