mysql_change_user(3) on Linux

The text efbd0f36a5b3, as Debian 12 (Bookworm) shipped it.

mysql_change_user(3) on Linux now