dm_control vs spring-ai

Facts only. Adjust the shortlist without leaving this page.