anchor.diff:        };
   
         servers = mkOption {
  -        default = [
  -          "0.nixos.pool.ntp.org"
  -          "1.nixos.pool.ntp.org"
  -          "2.nixos.pool.ntp.org"
  -          "3.nixos.pool.ntp.org"
  -        ];
  +        default = config.services.ntp.servers;
           description = ''
             The set of NTP servers from which to synchronise.
           '';
  
positive.code:     # Make chronyc available in the system path
      environment.systemPackages = [ pkgs.chrony ];
  
      users.extraUsers = singleton
        { name = chronyUser;
          uid = config.ids.uids.chrony;
  
negative.code: 
          wantedBy = [ "multi-user.target" ];
          after = [ "network.target" ];
          conflicts = [ "ntpd.service" "systemd-timesyncd.service" ];
  
          path = [ chrony ];
  
  