code: def get_string(strings: Sequence[str],
                 prefix: str,
                 ignoreleadingcolon: bool = False,
                 precedingline: str = "") -> Optional[str]:
      
      s = get_what_follows(strings, prefix, precedingline=precedingline)
      if ignoreleadingcolon:
          f = s.find(":")
          if f != -1:
              s = s[f+1:].strip()
      if len(s) == 0:
          return None
      return s
docs: Find a string as per :func:`get_what_follows`.
  
      Args:
          strings: see :func:`get_what_follows`
          prefix: see :func:`get_what_follows`
          ignoreleadingcolon: if ``True``, restrict the result to what comes
              after its first colon (and whitespace-strip that)
          precedingline: see :func:`get_what_follows`
  
      Returns:
          the line fragment