Perhaps part of the sign-up wizard then? Like add a new section to it saying that FYI terms are different here?

But yeah it could be good to use a different name, if a good replacement could be found?

Like at worst, even just the word "Def" as in Default search mode.