Hello, I notice that ever since the site update the “Mute User†feature seems to have disappeared. Will this be making a comeback? I unfortunately had to use this on 1 frequent user here. Thanks.