### 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
p_rt->push_color(target_color);
			p_rt->push_meta("@" + link_tag + " " + link_target);
			p_rt->add_text(link_target + (link_tag == "method" ? "()" : ""));
			p_rt->pop();
			p_rt->pop();
			p_rt->pop(); 
			p_rt->pop(); 
			pos = brk_end + 1;
		} else if (tag.begins_with("param ")) {
			const int tag_end = tag.find(" ");
			const String param_name = tag.substr(tag_end + 1, tag.length()).lstrip(" ");
			
			p_rt->push_font(doc_code_font);
			p_rt->push_font_size(doc_code_font_size);
			p_rt->push_bgcolor(param_bg_color);
			p_rt->push_color(code_color);
			p_rt->add_text(param_name);
			p_rt->pop();
			p_rt->pop();
			p_rt->pop(); 
			p_rt->pop(); 
			pos = brk_end + 1;
		} else if (tag == p_class) {
			
			p_rt->push_font(doc_bold_font);
			p_rt->add_text(tag);
			p_rt->pop();
			pos = brk_end + 1;
		} else if (doc->class_list.has(tag)) {