[aleph_minus_one]

In https://news.ycombinator.com/item?id=45831614 jack1243star pointed out the possibility that English might not be Kiki's first language and they perhaps even have used ChatGPT to make the comment sound more polite.