Vielen Dank für deine Antwort, Bastler!
Obwohl ich die o. g. Datei gelöscht und danach TB neu gestartet habe (was übrigens sehr rasch erfolgte), ist die gezielte Suche nach wie vor leider nicht möglich.
Gibt es ein Add-on, das bei der Suche behilflich sein kann und empfehlenswert ist?
Viele Grüße
Alibori