e57d95e68f
The `vertcollide` attribute in flex and flexcomp contact specifications has been removed since the next mjWarp release will support flex collisions. This attribute was previously used to enable vertex-based collisions by adding sphere geoms at flex vertices. The functionality associated with this attribute has been deprecated and removed from the XML parser, documentation, and internal data structures. Affected example XML files have also been updated. PiperOrigin-RevId: 885595503 Change-Id: I6a78975f1bc540c09ea8b5306ff3be0962b7ab24