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 <- think about the length of a string) HTML page that is rendered exactly the same as the original one?
For instance:
<b>
Silly example
</b>
could be changed to:
<b>Silly example</b>
and the final result would be the same:
Silly example