In legacy versions of the IDE (v2.1 or older), Preferences ... select the version and click on Install. In Arduino IDE 2, you ...