Who doesn't know the problem that when designing new models you don't know how much bigger you should make the hole for the screw so that it fits perfectly?
In order to be able to decide more quickly, I built the hole diameter gauge. You can use this to easily test how big the hole needs to be made.
The mm information is on the left and the 1/10mm information is at the top.
Add these two values together to get the diameter of the respective hole.

If you want to change the filament manualy, you have to do this at a height of 3mm.