Adding a root cert to the IDE keystore

But then again, how do you configure the proxy in 2.0 if it won't even start when it can't get to downloads.arduino.cc? I also could not find the same castore in the 2.0.3 installation as in 1.8.19.