Djvu is also for books and similar.

I don’t know about div format much, but I remember that mktex was producing it as a side effect