fix: update terminal settings documentation link#8997

Merged

mrubens merged 1 commit intomainfrom

fix/terminal-settings-doc-link

Nov 3, 2025

Commits on Nov 3, 2025

fix: update terminal settings documentation link
hannesrudolph
committed