HTML5small is a general-purpose minifier for HTML5 documents.