With pdf2htmlEX and (probably) PhantomJS