Hei, the following packages debian-edu-artwork, debian-edu-config and debian-edu-install do not seem to have been migrated. If noone minds I would like to try to migrate them.