... and more gitignore cleanup, see 4979f5b.