### 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
GDCLASS(DocCache, Resource);
	RES_BASE_EXTENSION("doc_cache");
	String version_hash;
	Array classes;
protected:
	static void _bind_methods() {
		ClassDB::bind_method(D_METHOD("set_version_hash", "version_hash"), &DocCache::set_version_hash);
		ClassDB::bind_method(D_METHOD("get_version_hash"), &DocCache::get_version_hash);
		ClassDB::bind_method(D_METHOD("set_classes", "classes"), &DocCache::set_classes);
		ClassDB::bind_method(D_METHOD("get_classes"), &DocCache::get_classes);
		ADD_PROPERTY(PropertyInfo(Variant::STRING, "version_hash"), "set_version_hash", "get_version_hash");
		ADD_PROPERTY(PropertyInfo(Variant::ARRAY, "classes"), "set_classes", "get_classes");
	}
public:
	String get_version_hash() const { return version_hash; }