Ach, ⌘R ("Reveal") geht wieder mit Aliassen?! Beste Nachricht des Tages! Was habe ich gekotzt, als Apple das (mit Mojave?) abgeschafft hat, angeblich, weil sie den Shortcut für was wichtigeres brauchten...