What helps me somehow is the fact that definitions in man pages are usually start on a new line and are indented by several spaces.
man bash / -o
man bash /^ +-o
What helps me somehow is the fact that definitions in man pages are usually start on a new line and are indented by several spaces.
This finds an inline mention, not very useful. This finds the definition: start of line, then some space, then the -o.