i don't care much about these additions, but IMO these should go into the global .gitignore.