Side note regarding ignoring people, this is an option provided by user @tinoesroho:
Thanks to the great moderation on the site by @orenwolf and co., I can count on one hand the number of users to whom I apply this Mute client-side functionality. Still, not having to hear the attempts of those few to derail has improved my experience on this site immensely.