Comment by bdzr

Or at least give us the discord feature of "Mute channel for ..." with some fixed set of durations.