Translations:Manual:$wgDjvuToXML/7/en

The djvuxml output is probably more stable, so this recommendation may be reversed once they fix the efficiency problem.