Added back HTML compression

It was accidentally removed by the previous commit