ESP32 Arduino IDE Board Install Error

I've tried to add ESP32 boards to newly downloaded Arduino IDE 1.8.13 and had issue.

Problem

First, I added new URL to preferences: https://dl.espressif.com/dl/package_esp32_index.json 
And then when you go to Boards Manager - you got error

Error downloading https://dl.espressif.com/dl/package_esp32_index.json

This is due bad certificates.

Solution

1. I found another boards URL here https://github.com/espressif/arduino-esp32/blob/master/docs/arduino-ide/boards_manager.md
2. It was https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
3. And now Boards Manager not throw error for downloading.
4. But because board SDK files need to be downloaded from dl.espressif.com - you will get more errors again.
5. Workaround - each time Arduino fail to download file - look for its name and respectful URL in JSON file, download manually to C:\Users\YOUR_USERNAME\AppData\Local\Arduino15\staging\packages and hit install again.
6. It will require 3 files than installation will continue.