Yes, we can't encode all characters since we want to keep all double-byte characters and high-ascii as is. The only ones that can cause problem are special characters in low-ascii, but most of them are already handled in jstree correctly since html is enabled but '<' is not.