Comment by rcarmo

Good catch on the terminal. I missed that, and it might get me off Ghostty (I prefer to have less apps installed in general).