anchor.diff:        example = {
           alice = {
             uid = 1234;
  -          description = "Alice";
  +          description = "Alice Q. User";
             home = "/home/alice";
             createHome = true;
             group = "users";
             extraGroups = ["wheel"];
             shell = "/bin/sh";
  -          password = "foobar";
           };
         };
         description = ''
  
positive.code:       createUser = mkOption {
          type = types.bool;
          default = true;
          description = "
            Indicates if the user should be created automatically as a local user.
            Set this to false if the user for instance is an LDAP user. NixOS will
            then not modify any of the basic properties for the user account.
          ";
        };
  
        isAlias = mkOption {
  
negative.code:       description = mkOption {
          type = types.str;
          default = "";
          example = "Alice Q. User";
          description = ''
            A short description of the user account, typically the
            user's full name.  This is actually the “GECOS” or “comment”
            field in <filename>/etc/passwd</filename>.
          '';
        };
  
        uid = mkOption {
  