final case class SetChildren(path: List[Int], expect: Option[String], children: Vector[Html])
Replaces every child of the element at path (None = the anchor). The differ's fallback for a child list holding raw markup — one Raw tree child can parse into any number of DOM nodes, so no index past it can be trusted — and the resync message's whole vocabulary.
