zgrep 的問題是沒辦法格式化輸出需要的字串（因為要找到關鍵字對應 id ，所以還得額外處理），但應該是跑不贏 hhvm 了。 zgrep 跑完所有關鍵字檔案需要 ~3x 秒