Comment 18 for bug 833994

Thinking a bit harder about this, we shouldn't use debian-installer/allow_unauthenticated=true to govern this, as GPG checking is much stronger than SSL certificate checking; it's reasonable to want to disable the latter without disabling the former. I'll add a new debian-installer/allow_unauthenticated_ssl=true preseed for this.