### 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 (p_editing_owner) {
		const ObjectID id = p_editing_owner->get_instance_id();
		for (EditorPlugin *plugin : active_plugins[id]) {
			_plugin_over_edit(plugin, nullptr);
		}
		active_plugins.erase(id);
	} else {
		
		
		List<ObjectID> to_remove;
		for (KeyValue<ObjectID, HashSet<EditorPlugin *>> &kv : active_plugins) {
			if (!ObjectDB::get_instance(kv.key)) {
				to_remove.push_back(kv.key);
				for (EditorPlugin *plugin : kv.value) {
					_plugin_over_edit(plugin, nullptr);
				}
			}
		}
		for (const ObjectID &id : to_remove) {
			active_plugins.erase(id);
		}
	}
}
static bool overrides_external_editor(Object *p_object) {