i hated on ghostty for a long time because it doesn't have text search but with agentic coding, i'm not using text search at all so really enjoying the performance of ghostty