Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
Der PC-Neuling oder das Spielkind braucht solche Suchen sicherlich nicht. Aber in jedem Unternehmen oder auch bei Privatpersonen mit einer großen Anzahl an Dokumenten werden genau solche Funktionen schmerzlich vermisst.
Es ist oft so, dass man den Dateinamen nicht mehr kennt, aber den Text. Der Markt ist auf jeden Fall da, du wirst sehen. Wenn nicht, dann werden solche Tools natürlich verschwinden.