DONKEY.pl: release 14.12.a