Aside from being an extreme edge case
- For the individual that’s grounds to reconsider being a member of the community.
- For the staff that’s grounds to consider excluding the aggressor.
An ignore button isn’t enough in those cases. What happens if your session is logged out and you hit the latest posts or a topic only to see their content?
https://meta.discourse.org/t/will-discourse-ever-gain-ignore-user-functionality/1525/16?u=stephen