Currently, some symbols like + get escaped (e.g. +) simply because there exists a named character reference for them. However, it’s not really necessary to encode these symbols, since they’re printable ASCII already.
We should filter these out in data.js and make sure they don’t end up in encodeMap.
Currently, some symbols like
+get escaped (e.g.+) simply because there exists a named character reference for them. However, it’s not really necessary to encode these symbols, since they’re printable ASCII already.We should filter these out in
data.jsand make sure they don’t end up inencodeMap.