@jbz I realize that Ghostty scores the highest, but is it ever going to have text search capability, or will I forever be relegated to running an alias that causes the terminal to dump its entire scrollback history to the stdout, and grep the results manually?