[xml] How to provide the encoding throw the python API

[Cesar Ortiz <cesar ortiz gmail com>]

Hi again,

Is it possible to provide the encoding through the python API to the html parser?

This question arises because sometimes the html files are xhtml ones, and the encoding is in a <?xml> tag that the parser ignores.
As the html parser ignores this tag, so I see two possible actions here:

• Detect that the file is an xhtml one and use the xml parser instead the html parser
  
• Detect that the file is an xhtml one and set manually the encoding to que html parser (if this is possible)

which option do you think is more suitable?

Thanks, César