The text 9f454577c33e, as Debian 2.1 (Slink) shipped it.
Convert Tags to Upper or Lower Case
wml::std::case(3) on Linux now
