added GlobalOptions_bing_google that works with the current text env