Thank you for reporting this bug. While we work on a fix, I
suggest using the actual degrees character °, rather than
°. As the HTML export generates a UTF-8 HTML
file, this is no problem for displaying. You should be able to type
this character using the keyboard shortcut Opt Shift 8
— if that doesn’t give you a degrees symbol reopen this
discussion and let me know what keyboard layout you are using, and
I’ll find out for you.