### 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
_THREAD_SAFE_METHOD_
	if (p_name == "shortcuts") {
		Array save_array;
		const HashMap<String, List<Ref<InputEvent>>> &builtin_list = InputMap::get_singleton()->get_builtins();
		for (const KeyValue<String, Ref<Shortcut>> &shortcut_definition : shortcuts) {
			Ref<Shortcut> sc = shortcut_definition.value;
			if (builtin_list.has(shortcut_definition.key)) {
				
				
				continue;
			}
			Array shortcut_events = sc->get_events();
			Dictionary dict;
			dict["name"] = shortcut_definition.key;
			dict["shortcuts"] = shortcut_events;
			if (!sc->has_meta("original")) {
				
				
				
				save_array.push_back(dict);
				continue;
			}
			Array original_events = sc->get_meta("original");
			bool is_same = Shortcut::is_event_array_equal(original_events, shortcut_events);
			if (is_same) {