If we merge https://github.com/web-animations/web-animations-js/pull/388 first, we probably don't need this.