¿Cómo se configuran las entradas DNS manuales en el dispositivo de seguridad web?