HTML minifier for Python frameworks (not only Django, despite the name).