Tatsächlich musste ich es, wie in einer der anderen Anleitungen im Forum beschrieben tatsächlich doch über „Import Arduino Project“ machen.
Ich glaube es war die Installation von git, die die Lösung war. Dachte mit dem Download des Zip Files bräuchte ich git nicht installieren, aber nach einer auf git-Installation hinweisenden Fehlermeldung und dessen Installation ging es.