Gridfinity for A1 Mini front indent

I was originally going to post these as one model, but because of license conflicts, the connectable version is linked here.

This is a small 1x1 Gridfinity baseplate for the front indent of your A1 mini. I went through 7 prototypes before landing on the perfect dimensions. I made 3 versions: Magnet-less, (no magnets) Magnetic tight and loose. I would recommend the loose version because the only thing I changed to make it tight is the height, making the bottom step 5 mm instead of 4.75. But the magnet - less version is only 4mm tall, so there is no tight variant. It also should probably have a flat surface.