OK, here you go:
- Select Tools > Board > Boards Manager... from the Arduino IDE menus.
The "Boards Manager" dialog will open. - Wait for the updates to finish, as shown by the messages printed at the bottom of the "Boards Manager" dialog.
- Scroll down through the list of boards platforms until you find the "esp8266" entry. Click on it.
A "Select version" dropdown will appear in the entry. - Click on the "Select version" dropdown.
It will expand. - Select "3.0.2" from the menu.
- Click the "Install" button in the "esp8266" entry.
- Wait for the installation to finish.
- Click the "Close" button on the "Boards Manager" dialog.
The "Boards Manager" dialog will close.