David Edgar's website

A tool that archives urls locally. I am hoping it can replace my ersatz archiver, which really just creates PDFs. ArchiveBox doesn't handle html "books" out of the book, it only archives the table of contents. But it may be possible to use wget arguments to get it to go deeper.

• archival
• git
• pdf
• tool
• web

Locally hosted web application that allows you to perform various operations on PDF files. I was kind of hoping the convert web to PDF would be a possible replacement for running chromium and puppeteer, but my first experiment wasn't great. The other tools still look worth exploring.

• conversion
• pdf
• tool