I'd like to get a list of all questions that have "z3" (or any other word) in the title or are tagged with it, e.g. something like
title:z3 OR [z3]
This doesn't work, however, as the system searches for "z3 or" in the title. Without "OR" the default behaviour seems to be to search for questions tagged with "z3" AND having "z3" in the title.
Searching with Google does not look like a good alternative because it lists way more questions than desired.
P.S. At the time of writing, the "z3" tag doesn't yet exists