XML output does not include character encoding in <?xml?> declaration

When invoking mysql --xml from the command line, the first part of the output is:

<?xml version="1.0"?>

<resultset ...

Note there is no encoding specified in the XML declaration.

As long as mysql is outputting UTF-8, this is technically correct because UTF-8 is the default (discussion here).

However, to avoid any possible confusion, perhaps the XML declaration should include an explicit declaration of the character encoding, e.g.:

<?xml version="1.0" encoding="UTF-8"?>

<resultset ...

Just a thought...