By default generate HTML with the default external encoding (e.g. set with LC_ALL/LANG/-E)