Package: mysql-client-core-5.7 Version: 5.7.24-2 Severity: wishlist File: /usr/share/man/man1/mysql.1.gz
$ man mysql says
SEE ALSO
For more information, please refer to the MySQL Reference Manual,
which may already be installed locally and which is also
available online at http://dev.mysql.com/doc/.
Perhaps it could packaged so Debian users could read it locally.
