CSS WG just resolved to include animation-play-state in the animation shorthand.
We seem to have fixed this at some point over the past near decade.