[cporios]

if anyone's wondering, the post title is wrong -- both of the first two characters are en dashes (U+2013).

[jeroenhd]

That's actually kind of funny. Looks like it's the result of HN's Unicode filtering rules, though; the original website has different characters in its <title> tag.