In that particular case a web search works, sure. But for most name clashes that I see, it's often tools that are well known in some domains but not so much in

In that particular case a web search works, sure. But for most name clashes that I see, it's often tools that are well known in some domains but not so much in others.