Micro to Mini SIM card adapter

From the specs, open source.

Here's the code for drawing the SIM.

linear_extrude(height = 0.76)  polygon(points=[   [0,0],[15,0],[15,22],[12,25],[0,25], // Outer Mini SIM   [1.5,3],[13.5,3],[13.5,15],[11,18],[1.5,18] // Inner Micro  ],   paths=[[0,1,2,3,4],[5,6,7,8,9]]);