Lean Term 0.6.1

• ⌘-clicking file paths prefers the installed Lean VS Code, even when a development copy is running.

Requires macOS 26 or later and Apple silicon.