I've ignored him in the past, but just because you ignore people's behaviour their effect is still visible to the rest of the community. On IRC, as a operator, I rarely ignore as the next step from an ignore by an operator is other community members complaining about the ignored person's behaviour.