[Hole Horizontal Expansion as Machine Setting?]

For my Ender 3 I need to change "Hole Horizontal Expansion" to something like "0.075" for good results.

 

I only have one printer, but I imagine you would need different values if you have different printers.

And this setting is only valid for a specific machine. Right?

 

So I think it this should be saved in the Machine Settings (Printer profile).

 

This may apply to other "Horizontal Expansion" settings, too.

 

What do the experts think? 😄