< The web preferences API has moved to the CSS WG