Re: [PATCH] .gitignore: add some missing excludes