Hallo Olaf,
finde auch ich im Prinzip richtig.
Aber ein neuer User weiss sehr oft überhaupt nicht das es diese Suchfunktion gibt und ist eventuell für diesen Hinweis dankbar.
Wie schon der Titel sagt, ich finde der Ton macht die Musik....
Gruss Gernot