Improving HTML compression