ParentFull threadcoolwanglu·Probably not, as font conversion is slow. pdftohtml does not extract fonts for now.View on HN