Hola de nuevo, finalmente consegui instalar los skech dando un repaso al siguiente tutorial, por si a alguien le sirve:
Installing the ESP32 Board in Arduino IDE (Windows instructions)
Por otro lado, al cargar el skech del rele me saltaba el siguiente error: ‘WiFiServer’ does not name a type
Finalmente buscando por la red hice lo siguiente:
Al comienzo del skech donde pone:
#include
puse:
#include <WiFi.h>
#include <dht.h>
Con esto me cargo sin problema.