Cannot remove ignored user on meta.discourse.org

[Tarek_Khalil]

I have updated this meta post with the latest features we shipped

UPDATE: I think I can close this topic since the cause was treated here.