Bohužel to problém je. Před mnoha lety jsme to řešili neustále, vyhledávání bylo pořád tak nedokonalé, že jsme stejně všichni v redakci používali Google. Až se nakonec celé interní vyhledávání zahodilo a přešlo se právě na ten Google. Chápu, že to pro určité případy nemusí být ideální, ale nikdo nic chytřejšího nevymyslí.