Comment 7 for bug 1427252

Also needs a change in debian-cd, so that it applies to the usual images, and not just mini.iso.