mysql_refresh(3) on Linux

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

mysql_refresh(3) on Linux now