Re: [PATCH] .gitignore: ignore misc include, simple-bin, and tools/generated build artifacts