Ok, I have decided good ol’ Perl is better than both the new kids for a particular kind of task: quick-n-dirty text manipulation. Sorry, y’all, I’m going back, after all these years.

cat edWebLog.txt | perl -n -e '/caching service background update finished on thread \(id [0-9]+\) in ([0-9]+) ms/ && print "$1\n";'