[css-fonts-4] [varfont] Consider renaming "variation fonts" with "variable fonts" #516
Description
The official name for OpenType variation fonts are "variable fonts." However, TrueType used (uses?) the term "variation" instead.
"Variation" may be confusing because it is very similar to "Variant" which is used in the font-variant properties, which have nothing to do with variations.
"Variable" may be confusing because CSS Variables already exist and are completely unrelated.