### 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
if (update_spinner_step >= 8) {
					update_spinner_step = 0;
				}
				update_spinner_step_msec = tick;
				update_spinner_step_frame = frame + 1;
				
				if (EDITOR_GET("interface/editor/show_update_spinner")) {
					update_spinner->set_icon(gui_base->get_theme_icon("Progress" + itos(update_spinner_step + 1), SNAME("EditorIcons")));
				}
			}
			editor_selection->update();
			ResourceImporterTexture::get_singleton()->update_imports();
			if (settings_changed) {
				_update_title();
			}
			if (settings_changed) {
				_update_from_settings();
				settings_changed = false;
				emit_signal(SNAME("project_settings_changed"));
			}
			ResourceImporterTexture::get_singleton()->update_imports();
			bottom_panel_updating = false;
		} break;
		case NOTIFICATION_ENTER_TREE: {
			get_tree()->set_disable_node_threading(true); 
			Engine::get_singleton()->set_editor_hint(true);
			Window *window = get_window();
			if (window) {
				
				window->connect("titlebar_changed", callable_mp(this, &EditorNode::_titlebar_resized));