Expected behavior Clearly communicate to the user that there was a problem with downloading the package index. It would probably also make sense to retain general functionality of the Arduino IDE ...

I suspect that it might be some time before we are able to start distributing Arduino IDE AppImage packages which do not have this dependency. So I do think that it will be a good idea to document the ...