nein, dev413/public ist nicht leer. Aber zu diesem Zeitpunkt ist der dev4922/web einer 4.9 Installation auch nicht (mehr) leer.

Ich habe nun mal 2 Installation gestartet - eine 4.9 (» dev4922.local) und eine 4.12 (» dev413.local).

dev4922.png dev413.png

Bei beiden lässt sich der Contao Manager "normal" starten und Benutzer anlegen.
In der Systemprüfung:
dev4922.local: Contao-Installation ... grünes Haken-Icon und Contao 4.9.22 (API-Version 2) gefunden.
dev413.local: Contao-Installation ... oranges Info-Icon und Es wurde keine Contao-Installation gefunden.
Und beim Versuch durch 'Einrichtung' kommt dann bereits oben gepostete Info, dass der Pfad angepasst werden müsse