Hacker News Reader

Interesting that he used a non-ascii character (Ø) as a variable name. Also ctrl+f in Chrome seems to think this character is the same as o.

I wouldn't be surprised if that behaviour was intentional.

It is intentional. It allows a search for "pokemon" to match "Pokémon".

It's done with case-insensitive matching based on the rules of character collation [1], but I'm struggling to find a good article on the topic.