РЕШЕНО! - можно просто зайти на микрочиповский сервер из браузера,
и ручками скачать нужные паки :) (кто бы мог подумать, что так
можно, в условиях, когда сервер забанен для РФ, и из "студии"
ничего не обновляется :)) https://packs.download.microchip.com