Links for mujoco-usd-converter