The text 71bfea2007b2, as Debian 11 (Bullseye) shipped it.
convert a wide character to lowercase
towlower(3) on Linux now