Danke und sorry, git pull brachte es wieder. Wollte auch nicht anmaßend mit der Auswahl Developer sein, weiss , bin es nicht ansatzweise,mir ging es nur um die erweiterten Auswahlmöglichkeiten, ob ich diese bedienen kann, ist eine andere Frage. Aber egal, das "richtige" Checkout bringt es.
Jetzt...