Bonsoir Artouste
même constat pour moi ,
seule façon de mettre à jour les outils ESP32/Arduino , effacer et réinstaller en suivant la procédure décrite pour chaque système d'exploitation sur le Github
(Sous W10 aucune réeussite en tentant la mise à jour avec GITGui selon la procédure indiquée)
pas encore rencontrée de pb avec l'exemple Serial Bluetooth Classic