Hi,
My additional boards already had a couple of entries for the esp32 and esp8266. I tried replacing those with the url you provided. Then I restarted the ide. Unfortunately it didn't make any difference. Its worth mentioning that the adding the boards process did not go smoothly and hung several times which I had to cancel and retry.