···8484 return query
8585 }
86868787+ // replace “smart quotes” with normal ones
8888+ // iOS keyboard will add fancy unicode quotes, but only normal ones work
8989+ query = query.replaceAll(/[“”]/g, '"')
9090+8791 // We don't want to replace substrings that are being "quoted" because those
8892 // are exact string matches, so what we'll do here is to split them apart
8993