The author remixed this model.
I modified the bottom holes for the magnet and reduced the diameter to 6.1mm, which is just enough tolerance for my print settings/filament where I can press-fit 6x2mm magnets in without having to use glue.