# Extra user dnsmasq options (preserved across reboots and upgrades)