7.2にしたら検索・コミット速度共に改善された。
まあそのかわりにプチフリしたり文字色おかしかったり小バグあるけどな。
まあ使えんことはないわ、タダだから使ってやるわ。