docs: public String getDefaultWorkspaceName() {
          Document workspaces = doc.getDocument(FieldName.WORKSPACES);
          if (workspaces != null) {
              return workspaces.getString(FieldName.DEFAULT, Default.DEFAULT);
          }
          return Default.DEFAULT;
      }