text is encoded in get_matching_lines