HTML to Markdown in Python: html2text, Markdownify, and Trafilatura