docs: public String getWorkspaceKey() {
          if (workspaceKey == null) {
              // Value is idempotent, so it's okay to do this without synchronizing ...
              workspaceKey = key.substring(WORKSPACE_START_INDEX, WORKSPACE_END_INDEX);
          }
          return workspaceKey;
      }