There is a way to have Verbatim the default, at least by changing the default search engine settings in the browser. Ctrl-k in my Chrome uses a verbatim search

There is a way to have Verbatim the default, at least by changing the default search engine settings in the browser. Ctrl-k in my Chrome uses a verbatim search (can't remember exactly how I set it up).