I like that as far as it goes, but it pulls loose a thread that has been nagging me for a while. How about the attached instead? It includes somewhat more simplification, entailing more-efficient handling of caseless letters when ignoring case.