The Agile Manifesto does bring some Lean ideas to software development. But "agile methodologies" are by themselves a subversion of the ideas on the Manifesto, and the most deployed ones are completely antagonistic to Lean.
> But “agile methodologies” are by themselves a subversion of the ideas on the Manifesto
I think that varies quite a bit from methodology to methodology; certainly, the ideas of the Manifesto operate a higher level than methodologies, so the idea that a canned methodology is a solution rather than a starting point is contrary to the Manifesto, but aside from the potential that the methodology will be treated that way many of them are in other respects consistent with and actively supportive of the ideals of the manifesto.