DjVu file format, alternative to PDF / hacker news