HTML minification.