Anybody knows what Discord behaviour is with respect to muting?