WPT & Chrome & Firefox say that Korean counter styles should fallback to cjk-decimal. WebKit and the spec don't mention a fallback for Korean counter styles.

Given CJK stands for Chinese/Japanese/Korean, I assume this is just the spec overlooking the fallback?

cc @fantasai @tabatkins