Manpages of mariadb-client-core-10.0 in Debian jessie