Oddly enough, Chrome on my Samsung S24 Ultra renders them OK here on HN, but not on Ken's page. Chrome on Windows and Ubuntu and Safari on iOS are the opposite:

Oddly enough, Chrome on my Samsung S24 Ultra renders them OK here on HN, but not on Ken's page. Chrome on Windows and Ubuntu and Safari on iOS are the opposite: OK on the page, not here. Character encoding is such fun! Update: Ken, if you see this, it's specifically the characters encoded with numeric entities that have the problem on my devices. I used the Chrome dev tools to replace these with the actual characters on my Windows and Ubuntu devices and they rendered OK.