for the urdfenvs, I am trying to use the mujoco version for a two mobile manipulator example. Is it true that this supports only 1 robot (instead of two/more?) and I was wondering with which tool you created the xml files (generated from the URDF files I assume?)