Clean up pdf2htmlEX wrapper