About Ghostty
ghostty.org