top-level .gitignore gewist (was overbodig)