MkDocs plugin for minification using minify-html, an extremely fast and smart HTML + JS + CSS minifier