replace manualNixMachines by etcFilesProvidedByAdmin

Then you can also maintain other etc files such /etc/hosts yourself.