That's actually kind of funny. Looks like it's the result of HN's Unicode filtering rules, though; the original website has different characters in its <title> tag.