Right tool for the right job: grep struggled for hours & didn’t finish; awk completed in seconds