Server on 443 should also push DNS options

Any reason why these settings are not duplicated on both servers?