Arduino Software unter Ubuntu

Hallo!
Ich pushe das nochmal, glaube aber nach der Lektüre von

dass das eben wegen Kerberos nicht geht. Liege ich da richtig?
Ich müsste also die Arduino-Leute bitten, mit mir beim Linuxadmin alles zu installieren, was sie haben möchten, oder?
Sollte ich den Arduino-Server in der OPNSense whitelisten?
Viele Grüße
Max