Merge "Minor touch-up of Animation docs" into jb-dev