From godot's pov though, banning AI won't guarantee some arbitrary contributor's PR doesn't include GPL code.