There seems to be no inherent reason why the forum isn't displaying it correctly... the forum is UTF-8 end-to-end and manually typing it is just fine.
It makes me wonder whether the process of copying and pasting from the console into the comment has done something, whether the console itself isn't displaying as full UTF-8 and so it doesn't copy as such.
As it works (seen above in my comments) I don't believe this to be a bug with the forum, but I am curious as to where it creeps in.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
There seems to be no inherent reason why the forum isn't displaying it correctly... the forum is UTF-8 end-to-end and manually typing it is just fine.
It makes me wonder whether the process of copying and pasting from the console into the comment has done something, whether the console itself isn't displaying as full UTF-8 and so it doesn't copy as such.
As it works (seen above in my comments) I don't believe this to be a bug with the forum, but I am curious as to where it creeps in.