Manpages of mariadb-server-core-10.1 in Debian testing