If Google were ever to remove the 'verbatim' option (which is lacking in other search engines like Bing as far as I can tell) it would become much less useful.

If Google were ever to remove the 'verbatim' option (which is lacking in other search engines like Bing as far as I can tell) it would become much less useful. Unfortunately, one cannot enable both 'time' and 'verbatim' option under Tools in Google Search. I guess I should go ask ChatGPT why that is the case...