From: "Guido van Rossum" <guido at python.org>: > <snip!> > But never mind, I'm giving up on making *Python* case-insensitive. > The hostility of the user community is frightening. > Now everybody, hang your heads in shame!