Arduino gave this message today: Error downloading https://github.com/stm32duino/BoardManagerFiles/raw/master/package_stmicroelectronics_index.json The /STM32 and /STM8 files are still there, but not the /raw folder.