title: Use html5lib to convert an HTML fragment to plain text
body: <p>Is there an easy way to use the Python library html5lib to convert something like this:</p>
  
  <pre><code>&lt;p&gt;Hello World. Greetings from &lt;strong&gt;Mars.&lt;/strong&gt;&lt;/p&gt;
  </code></pre>
  
  <p>to</p>
  
  <pre><code>Hello World. Greetings from Mars.
  </code></pre>