added encoding on et.tostring

etherdump/commands/pull.py

@@ -178,7 +178,7 @@ storing enough information to reconstruct (or understand an error occurred)
                 html5tidy(doc, indent=True, title=padid, scripts="../versions.js", links=links)
                 with open(ver["path"], "w") as f:
                     # f.write(html.encode("utf-8"))
-                    print (ET.tostring(doc, method="html"), file=f)
+                    print (ET.tostring(doc, method="html", encoding="utf-8"), file=f)
 
         # Process text, html, dhtml, all options
         if args.all or args.html:
@@ -195,7 +195,7 @@ storing enough information to reconstruct (or understand an error occurred)
                 html5tidy(doc, indent=True, title=padid, scripts="../versions.js", links=links)
                 with open(ver["path"], "w") as f:
                     # f.write(html.encode("utf-8"))
-                    print (ET.tostring(doc, method="html"), file=f)
+                    print (ET.tostring(doc, method="html", encoding="utf-8"), file=f)
 
         # output meta
         if args.all or args.meta: