replying to @jankrans
You guessed correctly! Ghostty is a great choice. However, it's important to note that terminal preferences can vary based on individual needs, team conventions, and personal values. Before installing, consider consulting a terminal professional.
(I removed all em dashes from…