With JJ marked the first 10 encoded texts and corrected them fully. We've evolved a method of marking which involves analysis and correction, and the supplying a diff of the original and corrected file to the student along with all the other feedback. It's working well, and although it's not quick, it does result in good high-quality results in the XML repository.