I agree with this, its a softer kind of ignore user.
“I don’t like bob, so please no PMs from him and no notifications”
I would go as far as to say once you mute direct replies get “muted” as well, make it a very simple flag.
“If user is muted then no PMs from that user AND no notifications for any kind of reply”
This then becomes purely about notifications and an extra check on the PM side, mechanics are a bit complicated though.
We don’t want to add too much cost to rendering user cards and such, but the correct UI
- Will no show the “private message” option on the user card of a user that ignores you
- Will not allow you to select a user who ignores you on in the PM
to:field.