Unterstützt Google Mini die Treffermarkierung?

Ja. Google Mini unterstützt die Hervorhebung von Treffern in den Cache-Kopien der auf Google Mini gespeicherten Dokumente.