Arduino IDE 2.0.0-beta.12 available for download!

@Butor32's report on the proxy bug:

Thank you!