Release notes for v4.0.0-m3

Stream: new members

[Valéry Croizier]

I just noticed that milestone 3 for Lean 4 has been released (4 weeks ago) and am struggling to locate the release notes for the the massive work that has been done since the previous milestone. Is there any?

[Henrik Böving]

If you wanna keep up with the rather rapid changes: https://github.com/leanprover/lean4-nightly/releases, I'm not aware of any release notes specifically for v4 m3 though