code: def htmlSaveFileFormat(self, filename, encoding, format):
          
          ret = libxml2mod.htmlSaveFileFormat(filename, self._o, encoding, format)
          return ret
docs: Dump an HTML document to a file using a given encoding.