mysql(1) on Linux

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

the MariaDB command-line tool (mysql is now a symlink to mariadb)

mysql(1) on Linux now