Similarly, I think it's fine to leave the default TOML file names as is. Not a huge deal, it's just fewer changes that users have to deal with.