compress man indexes, better for git grep