Could anybody please upload debian-edu-config? Just a minor change but I hope it finally solves #1328 and would like to test it. Odd.