The `server` option allows plain IPs besides the `/domain/addr` format. Fixes: #3870 Signed-off-by: Jo-Philipp Wich <jo@mein.io>