completion: remove __git_index_file_list_filter()