mysql_server_end(3) on Linux

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

mysql_server_end(3) on Linux now