Hi again,
To reassure you, no, we certainly don't 'ignore' reports. We do work late into the night and there are people here again first thing, but unfortunately it's just not possible to staff the boards 24/7 and occasionally something like this slips through the net.
In retrospect, we probably should have deleted this when it first appeared. It was a busy night elsewhere on the boards, and we were a bit preoccupied sorting out other threads and didn't have time to give enough thought to this one, perhaps.
All we can do is hold our hands up and say: 'Sorry, we're only human, we do make mistakes sometimes. We made the wrong call on this occasion, and were too slow off the mark'. We do hope we get it right most of the time but we're sorry if we fouled up on this one.
As regards the deletion message, we felt the question of whether the OP was 'genuinely' a troll or 'genuinely' just a deeply unpleasant human being was not so relevant as the fact that the messages he posted during the night were offensive in the extreme and that is what we deleted the thread for. We have obviously banned him, as well as his 'supporter' on that thread.
Thanks again for taking the time to report. We do appreciate it very much.