docs: def text_remove_empty_lines(text):
      """
      Whitespace normalization:
  
        - Strip empty lines
        - Strip trailing whitespace
      """
      lines = [ line.rstrip()  for line in text.splitlines()  if line.strip() ]
      return "\n".join(lines)