### 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
OBJTYPE_WLOCK;
	const StringName &name = p_class;
	ERR_FAIL_COND_MSG(classes.has(name), "Class '" + String(p_class) + "' already exists.");
	classes[name] = ClassInfo();
	ClassInfo &ti = classes[name];
	ti.name = name;
	ti.inherits = p_inherits;
	ti.api = current_api;
	if (ti.inherits) {
		ERR_FAIL_COND(!classes.has(ti.inherits)); 
		ti.inherits_ptr = &classes[ti.inherits];
	} else {
		ti.inherits_ptr = nullptr;
	}
}
static MethodInfo info_from_bind(MethodBind *p_method) {