DjVu (Was: Best file format)