input: def html_to_text(html_string: str) -> str:
      """ Convert an HTML string to plain text by eliminating all HTML tags.
      >>> html_to_text("<p>Hello, <b>world</b>!</p>")
      'Hello, world!'
      >>> html_to_text("<a href='example.com'>Link to example</a>")
      'Link to example'
      """
output:     import re
      return re.sub(r'<[^>]+>', '', html_string)