Added ability to cancel animations

Please don't do revert this. I've changed to `/ *` because otherwise it generates a nested block comment, which some utilities like pboproject can't pack.