git: New file doc/internals/.gitignore.