Un problème de plus avec mac OS. Les overlays ne sont pas chargés sur un setup qui fonctionne bien ailleurs.
Y a-t-il une ruse pour que les overlays soient reconnus, autre que créer un dossier overlays dans le dossier boards avec les overlays téléchargés ?