[orteil42]

as the upcoming version of Cookie Clicker is now localized in multiple languages i’ve had to deal with the eventuality of players naming themselves with something other than plain latin alphabet characters, and to account for this i’ve simply had to replace

with

it just works!