@Chris Muir – thanks for pointing out that problem with the tilde. I hoped that enclosing counter~ in quotes would solve the problem, but it doesn’t. The tilde used to be an operator that could be used in a google search to indicate that synonyms in results were okay. I wonder if that’s the reason why it’s ignored? Goog recently deprecated it, FWIW. But this is a pretty big gap in our search that I wasn’t aware of.