Ghostty is now non-profit