Here’s what happens when you get all confused with escape characters and Unicode characters in HTML. Fortunately, their food is still excellent.
For reference, here’s a great Unicode to HTML character list. I only knew about the existence of ⅛ of these… https://unicode-table.com/en/html-entities/