### 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 (E.value.inherits == cd.name) {
				if (!found) {
					class_desc->push_color(theme_cache.title_color);
					class_desc->add_text(TTR("Inherited by:") + " ");
					found = true;
				}
				if (prev) {
					class_desc->add_text(" , ");
				}
				_add_type_icon(E.value.name, theme_cache.doc_font_size, "ArrowRight");
				class_desc->add_text(non_breaking_space); 
				_add_type(E.value.name);
				prev = true;
			}
		}
		_pop_normal_font();
		if (found) {
			class_desc->pop();
			class_desc->add_newline();
		}
	}
	
	if (cd.is_deprecated) {
		Ref<Texture2D> error_icon = get_theme_icon(SNAME("StatusError"), SNAME("EditorIcons"));
		class_desc->push_color(get_theme_color(SNAME("error_color"), SNAME("Editor")));
		class_desc->add_image(error_icon, error_icon->get_width(), error_icon->get_height());
		class_desc->add_text(String(" ") + TTR("This class is marked as deprecated. It will be removed in future versions."));
		class_desc->pop();
		class_desc->add_newline();
	}