mi sono imbattuto in un brutto bug sulla gestione degli aggiornamenti libreria
non c'e' modo di aggiornare alle ultime versioni di almeno tre librerie ufficiali.
Aperta Issue:
il rpoblema come mi e' stato fatto notare e' legato ai core di terze parti che usano stessi nomi per librerie modificate.
Infatti selezionando una board ufficiale Arduino il problema non e' presente.
Effettivamente e' un errore grave mantenere lo stesso nome se uno modifica una libreria, ancor di piu' se si va a modificare una libreria che fa parte di quelle preinstallate, a quel punto il rpoblema si estende a tutti gli utenti
Confermo... è successo anche a me.