Hey Antonis!
Lars Mango

@Bilsou is correct (thanks for jumping in by the way), seems like during copy-paste from the console those characters changed. Will try to see if I can remedy this in the post :)

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.