Just a larger nut, the exported files are 6.45mm
The author remixed this model.
The nut is parametric (change the size in the first sketch), FreeCAD model is included.