IG - CheCluster Custom Resource documentation missing server. workspaceNamespaceDefault attribute

I wasn't sure if Bug was the correct type for this.

The documentation for the CheCluster Customer Resource server settings (https://access.redhat.com/documentation/en-us/red_hat_codeready_workspaces/2.3/html/installation_guide/configuring-the-codeready-workspaces-installation_crw#checluster-custom-resource-server-settings_configuring-the-codeready-workspaces-installation) is missing documentation for the workspaceNamespaceDefault setting.