Perform rescan for github.com/google-deepmind/mujoco_menagerie/pull/108?