用于将HTML转换为Markdown的Python库，具有类型安全和完整的HTM