Release Notes #516 October 11, 2019 October 10, 2019 The font and color of user mentions in comments and chat was fixed.Deleted claims don’t appear in duplicate search anymore.