Source (4 points): https://news.ycombinator.com/item?id=48911452
It’s a mistake nothing more.
Plus, what does「English」mean anyway! If people that speak English can understand you, as they say in the korean-quotation-mark-utilizing part of italian-new-york-city:《fuhgeddaboudit》.
Really hoping those characters survive the HN filter.