Hacker News new | ask | show | jobs
by coolwanglu 5019 days ago
Probably not, as font conversion is slow. pdftohtml does not extract fonts for now.