Strano, sembra tu abbia un problema di lentezza di linea e quindi di timeout durante l'installazione del package ...
... comunque, se collegando la scheda NON la vedi è, molto probabilmente, un problema della scheda, molto strano che sia successo così da solo 
... ho idea che dovrai provare ad aggiornare prima di tutto il firmware del ESP32 che è a bordo della R4 WiFi, seguendo la procedura che avevo descritto a suo tempo QUI e vedere se, a quel punto, la scheda ti appare nell'IDE, dopo di che si prova a ricaricare il programmino originale (quello che disegna il cuore).
Guglielmo