The board can no longer be added to Arduino IDE since the blob server is missing
https://raw.githubusercontent.com/microsoft/devkit-sdk/master/package_azureboard_index.json
Failed to install platform: AZ3166:stm32f4.
Error: 13 INTERNAL: Error downloading tool AZ3166:openocd@0.10.0: Get "https://azureboard.blob.core.windows.net/toolchain/openocd-0.10.0.zip": dial tcp: lookup azureboard.blob.core.windows.net on 127.0.0.53:53: no such host
The board can no longer be added to Arduino IDE since the blob server is missing