v0.11.0

What's Changed

• New Tool: Semantic search using Lean Finder by @oOo0oOo in #45
• Show build progress by @jessealama in #37
• Harden run_code temporary snippet cleanup by @eliasjudin in #41
• Serialise client startup; fix UTF‑16 ranges and build reset by @eliasjudin in #43
• Chore/bump leanclient 0.4.0: Automatically build dependencies when stale by @oOo0oOo in #44

New Contributors

• @eliasjudin made their first contribution in #41

Full Changelog: v0.10.0...v0.11.0