v4.3.0-rc2

What's Changed

• feat: reorder Lake help by @semorrison in #2725
• fix: lake: consistent order for manifest packages by @tydeu in #2788
• chore: fix duplication in release notes by @semorrison in #2794
• chore: change simp default to decide := false by @collares in #2722
• doc: Add docstrings to dbg_trace and assert! in do blocks by @nomeata in #2787
• feat: hovers on open and export decls by @digama0 in #2797
• Teach CMake about LLVM builds by @hargoniX in #2809
• fix: fixes #2775 by @leodemoura in #2790
• perf: avoid quadratic number of info tree nodes in DecEq deriving handler by @Kha in #2820
• feat: Better error location in structural recursion by @nomeata in #2819
• fix: Escape ? in C literal strings to avoid trigraphs by @nomeata in #2833
• test: C trigraph by @nomeata in #2832
• doc: mention the proof-binding syntax in match by @eric-wieser in #2834
• Ensure nested proofs in equation and unfold lemmas have been abstracted by @leodemoura in #2825
• chore: add import Lean benchmark by @Kha in #2840
• feat: extend API of KVMap by @semorrison in #2851
• feat: Lean.Linter.logLintIf by @semorrison in #2852
• fix: issue 2042 by @leodemoura in #2783
• doc: fix typo by @marcusrossel in #2856
• refactor: TerminationHint: Remove duplicted code line by @nomeata in #2859
• feat: find Decidable instances via unification by @semorrison in #2816
• feat: add left/right actions to term tree coercion elaborator and make ^ a right action by @kmill in #2778
• refactor: .lake directory for Lake outputs by @tydeu in #2749
• Mark environments not freed before process exit persistent eagerly by @Kha in #2841
• fix: re-read HTTP header when skipping notification in Ipc.readResponseAs by @Kha in #2870
• fix: have parenthesizer copy source info to parenthesized term by @kmill in #2866
• doc: fix typo by @eric-wieser in #2878
• refactor: lake: more flexible manifest by @tydeu in #2801
• feat: release web assembly by @abentkamp in #2855
• doc: code owners by @Kha in #2875
• fix: stricter lakefile.olean compatibility check by @tydeu in #2842

Full Changelog: v4.3.0-rc1...v4.3.0-rc2