A python tool to reduce pdf2htmlEX output file size.