mariadb_rpl_optionsv(3) on Linux

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

mariadb_rpl_optionsv(3) on Linux now