gitignore aligned with github version.