@Gargron
No.

That should be given a different word. "Censor" seems more appropriate, because you are locally censoring a person's existance from your timeline, not just the their posts.

Muting should strictly refer to the ignoring of one and only one's activities (primarily notes).