Meta: dealing with HTML5 fragments

From the backlog.

• handle foreign content better (#487)
• tolerate HTML in mtext elements
• switch from XML to HTML parser
  • sanitize stray HTML nodes (e.g., plain text) into mtext elements
    • probably useful as a separate htmltidy-like library.