lib/scripts/recode.pl
2013-08-01 wenzelm 2013-08-01 recode utf8 for ML, as done in feeder.pl;