細かい話だけど
Arduino本家には"MINI","PRO MINI","MICRO"はのってても
"PRO MICRO"っていうのはないようだから、"PRO MICRO"互換品っていうのは
変じゃない?

"MICRO"互換品が、勝手に"PRO MICRO"とつけて売ってるだけのような