ESP32 в Arduino IDE: "Ошибка загрузки https://downloads.arduino.cc/packages/package_index.json"

Аппаратное обеспечение: MacBook Pro (Retina, 13-дюймовый, начало 2015 г.) OSX High Sierra (10.13.6) Arduino IDE: 1.8.9

Следуя этим инструкциям, я продолжаю получать сообщение об ошибке при открытии диспетчера Правления, в котором говорится: "Ошибка загрузки https://downloads.arduino.cc/packages/package_index.json".

Не уверен, что это как-то связано с этим, но я попытался настроить свой Mac для прошивки ESP32 с помощью Micropython, следуя документации. Последний уже был неудачным, поскольку USB-порт не может быть открыт *. Не уверен, что оба имеют какое-либо отношение друг к другу.

Есть вдохновение?

* последняя часть сообщения об ошибке: serial.serialutil.SerialException: [Errno 2] не удалось открыть порт /dev/ttyUSB0: [Errno 2] Нет такого файла или каталога: '/dev/ttyUSB0'