The text 96ed797379c8, as Debian 3.1 (Sarge) shipped it.
Convert Tags to Upper or Lower Case
wml::std::case(3) on Linux now
