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