Sparkfun è vero che è un produttore ufficiale ma è anche un partner commerciale: può produrre sia schede ufficiali che compatibili, però le prime oltre ad essere di colore blu recano anche il marchio Arduino. Un esempio è l'Arduino UNO SMD: Massimo spiegò molti mesi fa che la scheda era stata sviluppata per i mercati nordamericano e giapponese quando a metà 2011 ci fu penuria dei 328 in formato DIP: era prodotta proprio da Sparkfun ma comunque sempre su licenza Arduino. Poi in seguito è stata messa in vendita anche tramite lo shop ufficiale Arduino perché la scheda ha comunque riscosso un discreto successo.
L'Arduino PRO MINI non è un prodotto ufficiale, lo dimostra il fatto che il PCB (rosso, tipico dei prodotti Sparkfun) non reca la dicitura Arduino.
Forse il team di Arduino aveva pensato di produrla ma poi ci ha ripensato. Sul fatto che manchi il supporto alla scheda ne sono consci anche a Sparkfun tant'è che nel link citato viene scritto espressamente di scaricare un add-on per aggiungere la scheda all'IDE:
The "Pro Micro Add-on" download below will add SparkFun Pro Micro 3.3V/5V board selections to your Arduino IDE's "Tools > Board" menu, follow the instructions in the readme file to install it. You must select "SparkFun Pro Micro 5V/16MHz" when programming this board.