* SourceExporter: Replace ISO8859-1 encoding with UTF-8 when generating HTML (thanks srm2000).
wxStyledTextCtrl uses UTF-8 internally.
Authored by: wh11204 2025-10-08
Parent: [r13742]
Child: [r13744]