Sì, mi sono confuso: MINI stava per MICRO.
Ma probabilmente in Arduino ci hanno ripensato e hanno deciso di sviluppare la scheda in formato "standard" (compatibile UNO) piuttosto che farne una versione miniaturizzata. Ecco forse il motivo della "sparizione" della scheda dal file boards.txt e dell'eliminazione dell'.inf.