do they still not have a mute button on profiles in reddit?