Thanks for the report and for the patch, Jim! I agree with Inada. global_gitignore is a better way to achieve this.

> Maybe a better solution would be to add something to the devguide about
> excluding IDE settings files, with a link to the Github instructions.

Our goal is to only cover CPython specific topics in devguide. There a lot of things that can be mentioned in devguide, but it would be hard to maintain all these information and keep devguide short at same time :)