Manpages of mysql-server-core-5.6 in Debian unstable