Problem with HTML Tidy: no encoding specified in XML output

When using HTML Tidy with the options -asxml -latin1, it doesn't output

<?xml version="1.0" encoding="iso-8859-1"?>

as it should in order to produce well-formed XML. Without the encoding
specification, an XML parser will assume UTF-8.

-- 
/****************************************************************\
* You have just read a message from Mikael Ståldal.              *
*                                                                *
* Remove "-ingen-reklam" from the address before mail replying.  *
\****************************************************************/