v0.13.0

0.13.0 (2026-10-20)

Added

• Control + B is nerd's key by default; terminal presets for Option, margin and colours (#83) (850c2c1)
• Isolation chooses which of an agent's providers a pane may reach (#73) (d210646)

Fixed

• publishing a release rebuilds nerdterm.dev right away (#71) (7372d31)
• the sidebar logo is drawn from a raster near the terminal's row height (#82) (9ffc957)