Manpages of mariadb-server-10.1 in Debian stretch