[krisoft]

I must admit that my viewpoint is coloured by the fact that I work on repos where most devs use OSX.

I can do the principled thing as you describe it. And then I can be angry every time a new dev arrives who doesn't have their computer correctly set up yet, or someone reinstalls their machine, or anything like that.

Or I can do the pragmatic thing, add one extra line to the .gitignore file and forget about it forever.

In my opinion this is not a hill worth dying on.