escape() calls on URLs sent to /query are probably unnecessary

[zestyping]

The extension has code like this:

jsonout.urls.push(escape(docURL));

So each URL first gets URL-escaped, then JSON-escaped, before it goes to the server. It isn't necessary to do both kinds of escaping, as JSON-escaping is sufficient to preserve the string.