The best iteration of this in my opinion is "Restrict" on Threads (and, I think, Instagram), which does the same thing as "ignore" here but also universally mutes the restricted person's comments in the comments of any post you make. They don't know they're totally muted and no one else has to be bothered by them. Perfect.
https://www.theverge.com/news/609310/discord-ignore-mute-users-feature-block