They're not banning "AI programming": just specifically large language models.