At AWS re:Invent, the news was agents, but the focus was developers