### 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
class_desc->add_image(warning_icon, warning_icon->get_width(), warning_icon->get_height());
	}
	class_desc->add_newline();
	const String non_breaking_space = String::chr(160);
	
	
	if (!cd.inherits.is_empty()) {
		class_desc->push_color(theme_cache.title_color);
		_push_normal_font();
		class_desc->add_text(TTR("Inherits:") + " ");
		String inherits = cd.inherits;
		while (!inherits.is_empty()) {
			_add_type_icon(inherits, theme_cache.doc_font_size, "ArrowRight");
			class_desc->add_text(non_breaking_space); 
			_add_type(inherits);
			inherits = doc->class_list[inherits].inherits;
			if (!inherits.is_empty()) {
				class_desc->add_text(" < ");
			}
		}
		_pop_normal_font();
		class_desc->pop();
		class_desc->add_newline();
	}
	
	if (cd.is_script_doc || ClassDB::class_exists(cd.name)) {
		bool found = false;
		bool prev = false;
		_push_normal_font();
		for (const KeyValue<String, DocData::ClassDoc> &E : doc->class_list) {