Documenting Timing.js and renaming 'startTime' into 'animationStartTime'.