I used HTTrack to extract the data but in HTML, it will be very human-intensive work to convert all of them to PDF and upload them. Any easier way?