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