title: Shortening HTML files
body: <p>Is there a library (preferably a Python one) that shortens an HTML page? By that I mean that it will produce a possibly smaller (in terms of number of characters, including line breaks &lt;- think about the length of a string) HTML page that is rendered exactly the same as the original one?</p>
  
  <p>For instance:</p>
  
  <pre><code>&lt;b&gt;
      Silly example
  &lt;/b&gt;
  </code></pre>
  
  <p>could be changed to:</p>
  
  <pre><code>&lt;b&gt;Silly example&lt;/b&gt;
  </code></pre>
  
  <p>and the final result would be the same:</p>
  
  <p><b>Silly example</b></p>