I installed dude 3.4 on an x86 routerOS 3.28, but I cant seem to find a way to configure the server to use different DNS servers, the manual states that they should be changable in the “general” tab, but there is no option, I dont want dude to use the routeros DNS, but a remote DNS server to resolve some names.