@cks: #ripgrep indeed seems slightly fast than normal #grep.
But for some cases it's still not fast enough. Which is why I wrote #pxzgrep, a wrapper around #xzgrep which can search through many compressed log files in parallel and—provided the hardware is capable enough—reduce search times from many days to a few hours: https://github.com/ETHZ-IT-SeC/pxzgrep
Cc @ttyS1