Hidden observeADSnotifications switch in WorkspaceGroup. Re #7253.