lake update reordering dependencies in manifest

Stream: mathlib4

[Joachim Breitner]

I noticed that lake update on mathlib4 reorders the entries in the lake-manifest.json, which is mildly annoying when diffing and merging.
Is the resulting order stable (and maybe needs to commited to mathlib once, happy to make a PR), or is lake somehow not deterministic here (and would a PR sorting the entries by name, for example, be welcome)?

[Mauricio Collares]

lean4#2664

[Joachim Breitner]

Thanks!