### 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 theme_section = "color_theme";
	Ref<ConfigFile> cf = memnew(ConfigFile); 
	List<String> keys;
	for (const KeyValue<String, VariantContainer> &E : props) {
		keys.push_back(E.key);
	}
	keys.sort();
	for (const String &key : keys) {
		if (key.begins_with("text_editor/theme/highlighting/") && key.find("color") >= 0) {
			cf->set_value(theme_section, key.replace("text_editor/theme/highlighting/", ""), ((Color)props[key].variant).to_html());
		}
	}
	Error err = cf->save(p_file);
	return err == OK;
}
bool EditorSettings::_is_default_text_editor_theme(String p_theme_name) {
	return p_theme_name == "default" || p_theme_name == "godot 2" || p_theme_name == "custom";
}
EditorSettings *EditorSettings::get_singleton() {
	return singleton.ptr();
}
void EditorSettings::create() {