Sorry Elena, there was some crucial info missing: Those settings are
valid if you use DHCP. If you're not, you need to put your own info
there of course as the docs explain. The docs never explain that you
need to remove this stuff if you use DHCP, however.

Robin: Hmm, I don't have such delays. I agree it would be highly
annoying.