Small fix for the online manuals:
When searching for phrases using double quotes, the search term did not show up correctly in the search box above the search results, showing
"my search phrase"
Instead of the correct
“my search phrase”