Release Notes #793 August 25, 2021 Discussions can now be muted. When muted, users won’t receive notifications when mentioned, nor when new claims or comments are suggested.