... mmm ... ho scaricato i .zip dai link che sono nel json ... quello per tiny contiene il "Prospective Boards.txt", gli altri due NO ... può essere per questo che il "Board Manager" non te li installa ?
Eventualmente lo comunico a Leo ... così li sistema 
Guglielmo