When ignoring users I tick all options available - posts, messages, signatures and mentions. For trolls this is only does half the job. We still see their bullshit posts when others reply and quote them. This alone went crazy a few weeks ago.
It would be an improvement if we could also ignore any post which replies and quotes them. .
This isn't about being a snowflake. It's about being able to effectively silence trolls.