### 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 (classes_with_csharp_differences.has(cd.name)) {
		const String &csharp_differences_url = vformat("%s/tutorials/scripting/c_sharp/c_sharp_differences.html", VERSION_DOCS_URL);
		class_desc->push_color(theme_cache.text_color);
		_push_normal_font();
		class_desc->push_indent(1);
		_add_text("[b]" + TTR("Note:") + "[/b] " + vformat(TTR("There are notable differences when using this API with C#. See [url=%s]C# API differences to GDScript[/url] for more information."), csharp_differences_url));
		class_desc->pop();
		_pop_normal_font();
		class_desc->pop();
		class_desc->add_newline();
		class_desc->add_newline();
	}
#endif
	
	if (cd.tutorials.size()) {
		_push_title_font();
		class_desc->add_text(TTR("Online Tutorials"));
		_pop_title_font();
		class_desc->add_newline();
		class_desc->push_indent(1);
		_push_code_font();
		for (int i = 0; i < cd.tutorials.size(); i++) {
			const String link = DTR(cd.tutorials[i].link);
			String linktxt = (cd.tutorials[i].title.is_empty()) ? link : DTR(cd.tutorials[i].title);
			const int seppos = linktxt.find("//");
			if (seppos != -1) {
				linktxt = link.substr(seppos + 2);
			}
			class_desc->push_color(theme_cache.symbol_color);
			class_desc->append_text("[url=" + link + "]" + linktxt + "[/url]");