@Gargron In case I came accross too snarky, I'd like to apologise: I actually forgot about the muting possibility, so thanks for the suggestion.
I just then decided that it's not worth it.