Maybe Ghostty will follow Zig to Codeberg, but it doesn't seem like a fit to me.