When running ./arduino-ide the splash logo pulses indefinitely whilst the logs show that it fails to download any indexes at all. in which case all indexes are then correctly downloaded. If I run ...