Can we discuss the renaming of video dimensions in another PR? In any case, I'm not sure they are all progressive, and that all these formats are standardized.