Better filament sensor holder for Prusa Mini Base

This print fixes the issue with the original Mini Base filament holder, where the screw on the sensor butts against the wall of the holder. As a result, the sensor can't sit properly in its socket in the holder, and prevents the sensor from being retained properly by the wall in the holder.

This print adds a square hole in the part so that the screw in the sensor can pass through it, and the sensor can fit flush with its socket in the holder.

I wish I could have made a rounded shape closer to the screw's shape, but only the STL file is available from the Mini Base which I wasn't able to import for editing in my CAD package. I instead made a square cut with TinkerCAD (which handles STL files pretty well, surprisingly), but the location is not as accurate. Nevertheless, the screw fits and it works.

The holder is white on the picture, and the sensor is black.

It can print with PETG or PLA, either works. The sliced files are 0.30mm because it prints quicker.

15% infill, no supports, no brim