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