The only remaining problem with that is the above-mentioned cosmetic bug is that when I select multiple files, the last file (alphabetically) becomes the first one in the list. Of course, I can fix that by arranging it, if I am not absent-minded
But for some reason, after I have selected the pages and set the options, and pressed start, the start button turns into stop button but nothing else happens (neither for djvu nor pdf).
