The network manager (which does not work on this computer) was installed even though wicd was installed and network manager was not.
I deleted network manager using synaptic, and now the resolv.conf is not overwritten at boot. This means the resolv.conf work·around now survives a reboot.
wicd however does not properly specifiy the nameserver IP address with network manager uninstalled so that issue is still alive.
This may be an ubuntu online upgrade error.
The network manager (which does not work on this computer) was installed even though wicd was installed and network manager was not.
I deleted network manager using synaptic, and now the resolv.conf is not overwritten at boot. This means the resolv.conf work·around now survives a reboot.
wicd however does not properly specifiy the nameserver IP address with network manager uninstalled so that issue is still alive.