tools

2021-02-23 How to convert DJVU to PDF with table of contents
2021-02-18 Useful commandline tools in Linux/Mac OS X