HN comments for: Ghostty is leaving GitHub