No issue. Info about installation from tools and toolchains from github releases

Hi @maxgerhardt I have developed an installer which makes installing tools and toolchains from github release section easy possible. Maybe you are interested to use, since you have the same situation. No need to reinvent the wheel. See https://github.com/pioarduino/platform-espressif32/pull/148