unicode::iconvert::convert_tocase(3) on Linux

The text 74f421cb7b41, as Debian 10 (Buster) shipped it.

unicode uppercase, lowercase, and titlecase conversion