Loading MuJoCo (about 10 MB the first time)…