### Godot version

4.0.dev [0f76ff2]

### System information

Kubuntu GNU/Linux 23.04

### Issue description

In the current `master` (stable seems fine), the `EditorSettings` doc is nowhere to be found in the editor, even though it exists: https://github.com/godotengine/godot/blob/master/doc/classes/EditorSettings.xml

### Steps to reproduce

Search for "EditorSettings" in the help dialog, or try clicking in a reference to it.

### Minimal reproduction project

N/A
}
				atidx = k;
				break;
			}
			if (atidx == -1) {
				
				for (WindowWrapper *wrapper : floating_docks) {
					if (wrapper->get_meta("dock_name") == name) {
						if (restore_window_on_load && floating_docks_dump.has(name)) {
							_restore_floating_dock(floating_docks_dump[name], wrapper, i);
							return;
						} else {
							_dock_floating_close_request(wrapper);
							atidx = wrapper->get_meta("dock_index");
						}
					}
				}
				
				continue;
			}
			if (atidx == i) {
				dock_slot[i]->move_child(node, 0);
			} else if (atidx != -1) {
				dock_slot[atidx]->remove_child(node);
				if (dock_slot[atidx]->get_tab_count() == 0) {
					dock_slot[atidx]->hide();
				}
				dock_slot[i]->add_child(node);
				dock_slot[i]->move_child(node, 0);
				dock_slot[i]->set_tab_title(0, TTRGET(node->get_name()));