Habe Glück gehabt. Nach dem Neuladen (wozu ich aber erstmal komplett beenden musste und auf den Desktop zurück) funktionierte es: der Orter war und blieb verschwunden.