`\u007F` for example. Should we html encode/decode the idcode attribute ? Or use JSON.stringify/parse