Arduino IDE 2.0.0-beta.12 available for download!

I use Debian Linux and new Arduino IDE beta 2, when I go to File -> Preferences -> Network If you set a manual proxy by error, you save. You go again into Network preferences you change no proxy, you save. But for me no change always a proxy.