Why put up with quirks when you have something that works for you? How much faster ghostty is in practical terms?