Env name normalization update#32

simoninithomas merged 5 commits into

huggingface:mainhuggingface/huggingface_sb3:mainfrom

ernestum:env_name_normalization_updateernestum/huggingface_sb3:env_name_normalization_updateCopy head branch name to clipboard