Summary

I changed the design to match the Arduino Pro Micro I received.

I put it on this.
https://www.thingiverse.com/thing:4633573

The micro USB connector is too thinly soldered. Therefore, the connector is likely to break when inserted or removed. You will need to solder it additionally. That's fine if you can connect and play with it with dexterity like I do. Probably not for most people.