Arduino CLI Error downloading library_index.json.gz

Are you connecting to the Internet through a proxy?