I agree that the best thing would be to keep it on the global `.gitignore` but adding this line won't cause us any issue and will avoid mistakes. (not everyone knows they can have a global `.gitignore`)