Also jetzt hab ich nachgekuckt: Ich hab Safari 5.1.10. Updates wurden seit langem nicht mehr angeboten. Wenn gestern nicht die zitierten Meldungen gekommen wären, hätt ich gar nichts bemerkt. Was es alles gibt!