Diff djvu-3.5.28-r3 with a djvu-3.5.28-r4

Thank you!