settings.json is wrong on linux servers page

[jbleyaert]

"nodns": "true" should be "nodns": true

Either way, nodns is removed in 1.12 so make sure this is still needed

[JorisBassle]

nodns can be removed