I just got an email from docs@mysql.com saying the following: The user comment system in the MySQL manual is not the place to request features. You can do so using our bug-tracking system at Thanks…