v0.13.1

What's Changed

• chore(release): v0.13.1
• style(ui): unify sidebar font sizes and enlarge header/title bar
• chore(release): v0.13.0
• docs: AI agent / tool calling for v0.13
• fix(editor): remove extra blank line after code blocks
• feat(ai): agentic tool-calling assistant (loop, confirmations, audit, panel)

---

🐳 docker pull ghcr.io/overview-note/overview:0.13.1