Merge "(bug 42466) Allow djvutxt to use more memory"