Manpages of mariadb-client-core-10.1 in Debian stretch