Clarify case-insensitivity for code search

[jsoref]

trafficstars

Why:

Closes: #31530

What's being changed (if available, include any code snippets, screenshots, or gifs):

Check off the following:

• [x] I have reviewed my changes in staging, available via the View deployment link in this PR's timeline (this link will be available after opening the PR).

  • For content changes, you will also see an automatically generated comment with links directly to pages you've modified. The comment won't appear if your PR only edits files in the data directory.

• [x] For content changes, I have completed the self-review checklist.

[github-actions[bot]]

Automatically generated comment ℹ️

This comment is automatically generated and will be overwritten every time changes are committed to this branch.

The table contains an overview of files in the content directory that have been changed in this pull request. It's provided to make it easy to review your changes on the staging site. Please note that changes to the data directory will not show up in this table.

---

Content directory changes

You may find it useful to copy this table into the pull request summary. There you can edit it to share links to important articles or changes and to give a high-level overview of how the changes in your pull request support the overall goals of the pull request.

Source	Preview	Production	What Changed
search-github/github-code-search/understanding-github-code-search-syntax.md	fpt ghec	fpt ghec

---

fpt: Free, Pro, Team ghec: GitHub Enterprise Cloud ghes: GitHub Enterprise Server

[nguyenalex836]

@jsoref Thanks so much for opening a PR! I'll get this triaged for review ✨

[nguyenalex836]

@jsoref Thanks so much for opening this PR! This looks great - we made one update, and removed the last set of parentheses, given they didn't seem necessary 💛 I'll update the branch and get this merged once tests are passing 🍏

[github-actions[bot]]

Thanks very much for contributing! Your pull request has been merged 🎉 You should see your changes appear on the site in approximately 24 hours. If you're looking for your next contribution, check out our help wanted issues :zap: