### 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 (!distribution_version.is_empty()) {
		info.push_back(distribution_name + " " + distribution_version);
	} else {
		info.push_back(distribution_name);
	}
#ifdef LINUXBSD_ENABLED
	if (!display_server.is_empty()) {
		info.push_back(display_server);
	}
#endif 
	info.push_back(vformat("%s (%s)", driver_name, rendering_method));
	String graphics;
	if (!device_type_string.is_empty()) {
		graphics = device_type_string + " ";
	}
	graphics += rendering_device_name;
	if (video_adapter_driver_info.size() == 2) { 
		String vad_name = video_adapter_driver_info[0];
		String vad_version = video_adapter_driver_info[1]; 
		if (!vad_version.is_empty()) {
			graphics += vformat(" (%s; %s)", vad_name, vad_version);
		} else {
			graphics += vformat(" (%s)", vad_name);
		}
	}
	info.push_back(graphics);
	info.push_back(vformat("%s (%d Threads)", processor_name, processor_count));
	return String(" - ").join(info);
}
Ref<Texture2D> EditorNode::_file_dialog_get_icon(const String &p_path) {