Location of the MySQL manual

The official reference manuals of the MySQL versions supported on our servers can be found on the MySQL site:

• MySQL 5.7 - https://dev.mysql.com/doc/refman/5.7/en/
• MySQL 8.0 - https://dev.mysql.com/doc/refman/8.0/en/