November 13, 2019March 29, 2023 Release Notes #535 Deleted discussions are now immediately removed from search results upon deletion.Comment drawer animations have been improved.