Problemi download Arduino Micro

Hai ragione. C'è stato un momento in cui avevano messo online una versione dello ZIP contenente quello che hai detto tu ma attualmente c'è un archivio con dentro i soli file di Eagle.