Great program thanks.
Lutzbot is open hardware the otherone I think not.
Stl files as far as I know are not editable (binaries) problem of open washing in websites. Original CAD not available. Use freeCAD to do more.
Magnet: use a tight tolerance to go in but use a larger chamber inside.