By now I think case insensitivity is probably good (back then I don't think I did), but the idea of introducing it into an existing language, breaking much more

By now I think case insensitivity is probably good (back then I don't think I did), but the idea of introducing it into an existing language, breaking much more than Python 3 eventually did doesn't sound great. And as an option? I can't remember what the actual proposal was, but having case insensitive code trying to use a case sensitive library sounds like lots of fun.