Test htmlencode of weird Unicode