Ich suche ein kostenloses Suchwerkzeug für eine Website, auf der HTML-Dokumentationsdateien gehostet werden. Das Tool sollte die Ergebnisse als Auflistung des Seitentitels und einiger Textzeilen dieser Seite anzeigen. Es sollte auch auf der Site funktionieren, die lokal im LAN gehostet wird, sodass die Suche selbst durchgeführt werden sollte.