FLUID-5180: top level option for animation times.