We actually deployed a whole new search backend last week, and it looks like you found the first bug.
I’ve created a pull request on Github that should fix the quotation marks not working, and you can expect that to be live on the site in 1-2 days. In the mean time, your best bet is probably the Google search with site: that Neel mentioned.
We actually deployed a whole new search backend last week, and it looks like you found the first bug.
I’ve created a pull request on Github that should fix the quotation marks not working, and you can expect that to be live on the site in 1-2 days. In the mean time, your best bet is probably the Google search with
site:that Neel mentioned.Thanks for letting us know!
This fix is now live on the forum