February 20, 2020March 29, 2023 Release Notes #589 Users who prefer working without animations can now switch them off in their user settings.