process uses direct downloads. Might be better to move to distribution Arduino install + arduino-cli to install board support in future.