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?
Some parts of the project still depend on
gymrather than its newer drop-in replacementgymnasium, can I do a pull request to fix that?