chore: add v4.30.0 release notes highlights#836

Garmelon wants to merge 1 commit intomainleanprover/reference-manual:mainfrom

highlights-v4.30.0leanprover/reference-manual:highlights-v4.30.0Copy head branch name to clipboard