### 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
String p_file = get("text_editor/theme/color_theme");
	if (_is_default_text_editor_theme(p_file.get_file().to_lower())) {
		if (p_file == "Godot 2") {
			_load_godot2_text_editor_theme();
		}
		return; 
	}
	String theme_path = EditorPaths::get_singleton()->get_text_editor_themes_dir().path_join(p_file + ".tet");
	Ref<ConfigFile> cf = memnew(ConfigFile);
	Error err = cf->load(theme_path);
	if (err != OK) {
		return;
	}
	List<String> keys;
	cf->get_section_keys("color_theme", &keys);
	for (const String &key : keys) {
		String val = cf->get_value("color_theme", key);
		
		if (has_setting("text_editor/theme/highlighting/" + key)) {
			
			if (val.is_valid_html_color() && key.find("color") >= 0) {
				props["text_editor/theme/highlighting/" + key].variant = Color::html(val); 
			}
		}
	}
	emit_signal(SNAME("settings_changed"));
	
}
bool EditorSettings::import_text_editor_theme(String p_file) {