docs: def filter_regex(names, regex):
      """
      Return a tuple of strings that match the regular expression pattern.
      """
      return tuple(name for name in names
                   if regex.search(name) is not None)