Sparkfun esp32 1.0.0 platform can not be installed

[jantje]

The sparkfun esp32 platform described in
https://raw.githubusercontent.com/sparkfun/Arduino_Boards/master/IDE_Board_Manager/package_sparkfun_index.json
is dependent on tools that are installed as part of
https://dl.espressif.com/dl/package_esp32_index.json

Sloeber however does not support this construction.
Therefore the tool installation fails
to workaround one need to install the tools by installing corresponding esp32 platforms

[jantje]

The section causing the problem is

  "toolsDependencies": [
            {
              "packager": "esp32", 
              "version": "1.22.0-80-g6c4433a-5.2.0", 
              "name": "xtensa-esp32-elf-gcc"
            }, 
            {
              "packager": "esp32", 
              "version": "2.6.1", 
              "name": "esptool_py"
            }, 
            {
              "packager": "esp32", 
              "version": "0.2.3", 
              "name": "mkspiffs"
            }
          ]

And these tools will need to be installed to work around this issue.
Note that even when these tools are installed the installation of sparkfun esp32 will report failure to install (though in this case all is fine)