Ghostty, Mitchell, and the community around Ghostty, are all really amazing and pleasant to work with. I've had a lot of fun hanging out in the Discord, and sending in a couple of PR's. Everyone is really kind and accommodating. It's a pretty great example of how to run a community and open-source project, even this early on.