Программа от Алекса всё равно не обновляет Arduino AVR Boards (ошибка 403). Программа Клуба Весёлых и Находчевых в обычном применении не помогает. Но если Программа Весёлых и Находчивых умеет поднимать свой прокси на localhost (127.0.0.1), прописываем его в Файл -> Параметры -> Сеть -> Ручная настройка параметров прокси-сервера -> SOCS5 (в моём случае) -> Имя хоста (127.0.0.1) -> Номер порта (порт вашего прокси). Если прокси нужен логин-пароль, то прописываем их, но у меня, почему-то, запароленный прокси не заработал. Потом жмём ОК в данном окне и обязательно перезагружаем Arduino IDE. После запуска программы Клуба Весёлых и Находчевых, проверяем наличие доступа в браузере и запускаем Arduino IDE, проверяем возможность обновления библиотек и плат средствами самогО Arduino IDE.