Replace curly quotes by regular quotes for searching

Fixes #1399.

Note that this fixes searching not only for the document referenced in the issue, but also for many other documents that I have encountered on the internet. Lots of documents use curly quotes, but almost no one uses those when searching.
Another thing, probably the indexOf below is not the best operator for the job -- we need to implement our own.