Betrachte es als erledigt.
Was innerhalb von Suchtags steht, wird künftig nicht mehr in den Index aufgenommen.
Das heißt also, dass wir mit dem nächsten Update mal wieder den Such-Index neu aufbauen lassen müssen.
Daniel R. Wolf
mit Grüßen aus Hamburg