I know there are a lot of people with a lot of power discussing this, the big issue is the platform is decentralised - we need to find a solution we can use again if the situation arises again, and be sure we can fairly deal with these types of situations.
So far flagging is helping his rep is falling and every flag he gets it drops a little further, yesterday he was in the mid 60's I believe he is now at 55 - he keeps spreading the hate it wont be long before everything he ever says or does, is hidden from the world and we don't have to pay him the attention he clearly desires.