It is not clear to me from the wording how color() values with fallback (e.g. color(display-p3 0 1 0, srgb 0 1 0)) should be serialized. It would be good to at least have an example, if not explicitly call it out.