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.