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