anchor.diff:    # TODO(SN): move to a notebook module
     # NOTE(SN): added for matterhorn
     services.xserver.libinput.enable = true;
  +
  +  # Configuration currently in xsession/default.nix
  +  services.autorandr = {
  +    enable = true;
  +    defaultTarget = "mobile";
  +  };
   
     ## Programs
   
  
positive.code:   # Per-interface useDHCP will be mandatory in the future, so this generated config
    # replicates the default behaviour.
    networking.useDHCP = false;
    networking.interfaces.enp57s0u1u2.useDHCP = true; # NOTE(SN): matterhorn-specific
    networking.interfaces.wlp58s0.useDHCP = true; # NOTE(SN): matterhorn-specific
  
    # Select internationalisation properties.
  
negative.code:     {
        trustedUsers = users;
        allowedUsers = users;
        # Use upcoming 'nix flake' and updated other commands
        package = pkgs.nixFlakes;
        extraOptions = ''
          experimental-features = nix-command flakes
        '';
      };
  
    # This value determines the NixOS release from which the default
  