Global search page: "Syntax options" / "Search tips "UI text
"Syntax options" is actually just a slide-in panel of search operator tips. There are no configurable options. Maybe this button text should say "Search tips"?
cf. #444717
Edited by Chad Lavimoniere