Hello, I'm working on writing MuJoCo bindings for Rust. I'm unfamiliar with copyright law or mujoco's copyright. Is it acceptable to distribute the header files I downloaded from the mujoco website in permissively licensed source code? Specifically the MIT license. This is done in order to auto-generate the Rust code from the C definitions. If acceptable, is there a link to some more formal statement of such permissions?