Some parts of the project still depend on `gym` rather than its newer drop-in replacement `gymnasium`, can I do a pull request to fix that?