Network manager: Public DNS servers list now is in configuration file (hardcode in source is an evil)