Renumber as per comments on https://github.com/w3c/web-animations/commit/e96a71eb626d6109d25869e7e94a368186f5d0a0#commitcomment-8999513