git grep: use pager