debian-edu-install: no-debconf-config
debian-edu-install: debconf-is-not-a-registry
