.gitignore could use some gardening #4648
Description
Our toplevel .gitignore has accreted many inscrutable entries over time; this is probably mostly benign, but after the CMake changes (#4644) lands, might be good to revisit and see if it can be pruned into something more sensible.