### 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
method_line[p_method.name] = class_desc->get_paragraph_count() - 2; 
	const bool is_vararg = p_method.qualifiers.contains("vararg");
	if (p_overview) {
		class_desc->push_cell();
		class_desc->push_paragraph(HORIZONTAL_ALIGNMENT_RIGHT, Control::TEXT_DIRECTION_AUTO, "");
	} else {
		_add_bulletpoint();
	}
	_add_type(p_method.return_type, p_method.return_enum, p_method.return_is_bitfield);
	if (p_overview) {
		class_desc->pop(); 
		class_desc->pop(); 
		class_desc->push_cell();
	} else {
		class_desc->add_text(" ");
	}
	if (p_overview && !p_method.description.strip_edges().is_empty()) {
		class_desc->push_meta("@method " + p_method.name);
	}
	class_desc->push_color(theme_cache.headline_color);
	_add_text(p_method.name);
	class_desc->pop();