marcello said:

Suppose we post a multi-page djvu, where the filenames of the single-page djvu files it contains are not in sync with the real page numbers.

you mean like the one you created and pointed us to yesterday? -bowerbird