diff --git a/README.md b/README.md
index 228b69f6b..269828809 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,6 @@ Among other things, Workbench comes with
 - Declarative user interface syntax
 - Autosave, sessions and projects
 - Code linter and formatter
-- Offline documentation
 - Terminal output
 - 1000+ icons
 
diff --git a/data/app.metainfo.xml b/data/app.metainfo.xml
index c33232519..fef4f2cb5 100644
--- a/data/app.metainfo.xml
+++ b/data/app.metainfo.xml
@@ -19,7 +19,6 @@
       <li>Declarative user interface syntax</li>
       <li>Autosave, sessions and projects</li>
       <li>Code linter and formatter</li>
-      <li>Offline documentation</li>
       <li>Terminal output</li>
       <li>1000+ icons</li>
     </ul>
@@ -42,9 +41,6 @@
     <screenshot>
       <image>https://raw.githubusercontent.com/workbenchdev/Workbench/main/data/screenshot-extensions.png</image>
     </screenshot>
-    <screenshot>
-      <image>https://raw.githubusercontent.com/workbenchdev/Workbench/main/data/screenshot-manuals.png</image>
-    </screenshot>
   </screenshots>
   <content_rating type="oars-1.1" />
   <releases>
@@ -53,13 +49,11 @@
         <ul>
           <li>Add Python support</li>
           <li>Add Blueprint formatter support</li>
+          <li>Replace Manuals with "Biblioteca" available on Flathub</li>
           <li>Show which languages are available for each Library entry</li>
           <li>Allow opening Library entries in a specific language</li>
           <li>Make Library faster to launch</li>
           <li>Each Workbench window has its own title</li>
-          <li>Documentation viewer now sync the sidebar selection with navigation</li>
-          <li>Add fuzzy search to documentation viewer</li>
-          <li>Add search result tags to documentation viewer</li>
           <li>Do not exit if Library is the last window open</li>
           <li>Library: Port entries to libadwaita SpinRow</li>
           <li>Library: Fix "Preferences Window" adaptiveness</li>
diff --git a/data/screenshot-manuals.png b/data/screenshot-manuals.png
deleted file mode 100644
index 2a85dfe80..000000000
Binary files a/data/screenshot-manuals.png and /dev/null differ
diff --git a/po/POTFILES b/po/POTFILES
index 238aa96d4..f3e70615b 100644
--- a/po/POTFILES
+++ b/po/POTFILES
@@ -57,8 +57,6 @@ src/IconLibrary/IconWidget.js
 src/IconLibrary/main.blp
 src/IconLibrary/main.js
 src/sessions.js
-src/DocumentationViewer.blp
-src/DocumentationViewer.js
 src/langs/css/css.js
 src/langs/python/Builder.js
 
@@ -74,11 +72,5 @@ troll/src/builder.js
 troll/src/main.js
 src/Extensions/Extensions.blp
 src/Extensions/Extensions.js
-src/Manuals/DocumentationViewer.blp
-src/Manuals/Shortcuts.blp
-src/Manuals/Shortcuts.js
-src/Manuals/DocumentationViewer.js
 src/Library/EntryRow.blp
 src/Library/EntryRow.js
-
-src/Manuals/fzy.js
\ No newline at end of file
diff --git a/src/Extensions/Extensions.blp b/src/Extensions/Extensions.blp
index 97c11b1b4..9e429d6ac 100644
--- a/src/Extensions/Extensions.blp
+++ b/src/Extensions/Extensions.blp
@@ -75,12 +75,6 @@ Adw.Window window {
               hint: _("To enable Vala support, run the following command in your Console or Terminal");
               command: "flatpak install flathub org.freedesktop.Sdk.Extension.vala//23.08";
             }
-
-            $Extension extension_documentation {
-              title: _("Documentation");
-              hint: _("To enable documentation, run the following command in your Console or Terminal");
-              command: "flatpak install flathub org.gnome.Sdk.Docs//45";
-            }
           }
 
           Label restart_hint {
diff --git a/src/Extensions/Extensions.js b/src/Extensions/Extensions.js
index d46320b7a..00aeaf0e2 100644
--- a/src/Extensions/Extensions.js
+++ b/src/Extensions/Extensions.js
@@ -30,7 +30,6 @@ export default function Extensions({ application }) {
     picture_illustration,
     extension_rust,
     extension_vala,
-    extension_documentation,
     restart_hint,
     all_set_hint,
   } = build(Interface);
@@ -38,14 +37,9 @@ export default function Extensions({ application }) {
   picture_illustration.set_resource(illustration);
 
   extension_rust.enabled = isRustEnabled();
-  extension_documentation.enabled = isDocumentationEnabled();
   extension_vala.enabled = isValaEnabled();
 
-  for (const extension of [
-    extension_rust,
-    extension_documentation,
-    extension_vala,
-  ]) {
+  for (const extension of [extension_rust, extension_vala]) {
     if (!extension.enabled) {
       all_set_hint.set_visible(false);
       restart_hint.set_visible(true);
@@ -78,7 +72,3 @@ export function isRustEnabled() {
 export function isValaEnabled() {
   return extensions.includes("org.freedesktop.Sdk.Extension.vala");
 }
-
-export function isDocumentationEnabled() {
-  return extensions.includes("org.gnome.Sdk.Docs");
-}
diff --git a/src/Manuals/DocumentationViewer.blp b/src/Manuals/DocumentationViewer.blp
deleted file mode 100644
index 9ed3a3cf2..000000000
--- a/src/Manuals/DocumentationViewer.blp
+++ /dev/null
@@ -1,166 +0,0 @@
-using Gtk 4.0;
-using Adw 1;
-using GObject 2.0;
-using WebKit 6.0;
-
-Adw.Window documentation_viewer {
-  width-request: 400;
-  height-request: 400;
-  default-width: 1024;
-  default-height: 768;
-  hide-on-close: true;
-  title: _("Workbench — Manuals");
-
-  content: Adw.NavigationSplitView split_view {
-    sidebar: Adw.NavigationPage sidebar {
-      title: bind documentation_viewer.title;
-
-      child: Adw.ToolbarView {
-        [top]
-        Adw.HeaderBar {
-          [start]
-          WindowControls {
-            side: end;
-          }
-
-          title-widget: Adw.WindowTitle {
-            title: bind documentation_viewer.title;
-          };
-
-          [end]
-          Button button_forward {
-            icon-name: "go-next-symbolic";
-            tooltip-text: _("Forward");
-
-            styles [
-              "flat"
-            ]
-          }
-
-          [end]
-          Button button_back {
-            icon-name: "go-previous-symbolic";
-            tooltip-text: _("Back");
-
-            styles [
-              "flat"
-            ]
-          }
-        }
-
-        [bottom]
-        Box {
-          styles [
-            "toolbar"
-          ]
-
-          SearchEntry search_entry {
-            hexpand: true;
-            placeholder-text: _("Search Manuals");
-          }
-
-          Button button_shortcuts {
-            icon-name: "keyboard-shortcuts-symbolic";
-            tooltip-text: _("Keyboard Shortcuts (Ctrl+?)");
-
-            styles [
-              "flat"
-            ]
-          }
-        }
-
-        content: Stack stack {
-          transition-type: none;
-
-          ScrolledWindow browse_page {
-            vexpand: true;
-            width-request: 400;
-
-            ListView browse_list_view {
-              enable-rubberband: false;
-
-              factory: BuilderListItemFactory {
-                template ListItem {
-                  child: TreeExpander expander {
-                    list-row: bind template.item;
-
-                    child: Inscription {
-                      hexpand: true;
-                      nat-chars: 10;
-                      text-overflow: ellipsize_end;
-                      text: bind expander.item as <$DocumentationPage>.name;
-                    };
-                  };
-                }
-              };
-
-              styles [
-                "navigation-sidebar"
-              ]
-            }
-          }
-
-          ScrolledWindow search_page {
-            vexpand: true;
-            width-request: 400;
-
-            ListView search_list_view {
-              enable-rubberband: false;
-
-              factory: BuilderListItemFactory {
-                template ListItem {
-                  child: Box {
-                    Inscription {
-                      valign: center;
-                      hexpand: true;
-                      nat-chars: 25;
-                      text-overflow: ellipsize_end;
-                      text: bind template.item as <$DocumentationPage>.search_name;
-                    }
-
-                    Button {
-                      valign: center;
-                      label: bind template.item as <$DocumentationPage>.tag;
-
-                      styles [
-                        "pill",
-                        "small",
-                        "doc-tag"
-                      ]
-                    }
-                  };
-                }
-              };
-
-              styles [
-                "navigation-sidebar"
-              ]
-            }
-          }
-
-          Adw.StatusPage status_page {
-            title: _("No Results Found");
-            description: _("Try a different search term");
-            icon-name: "loupe-symbolic";
-
-            styles [
-              "compact"
-            ]
-          }
-        };
-      };
-    };
-
-    content: Adw.NavigationPage {
-      title: bind documentation_viewer.title;
-
-      child: WebKit.WebView webview {
-        settings: WebKit.Settings {
-          enable-back-forward-navigation-gestures: true;
-          enable-developer-extras: true;
-          enable-smooth-scrolling: true;
-        };
-      };
-    };
-  };
-}
diff --git a/src/Manuals/DocumentationViewer.js b/src/Manuals/DocumentationViewer.js
deleted file mode 100644
index 2b71b4094..000000000
--- a/src/Manuals/DocumentationViewer.js
+++ /dev/null
@@ -1,672 +0,0 @@
-import GObject from "gi://GObject";
-import Gtk from "gi://Gtk";
-import Gio from "gi://Gio";
-import GLib from "gi://GLib";
-import WebKit from "gi://WebKit";
-import { decode } from "../util.js";
-import resource from "./DocumentationViewer.blp";
-
-import Shortcuts from "./Shortcuts.js";
-import { hasMatch, score } from "./fzy.js";
-
-import {
-  action_extensions,
-  isDocumentationEnabled,
-} from "../Extensions/Extensions.js";
-
-const DocumentationPage = GObject.registerClass(
-  {
-    GTypeName: "DocumentationPage",
-    Properties: {
-      name: GObject.ParamSpec.string(
-        "name",
-        "name",
-        "Display name in the sidebar",
-        GObject.ParamFlags.READWRITE,
-        "",
-      ),
-      tag: GObject.ParamSpec.string(
-        "tag",
-        "tag",
-        "Tag of symbol",
-        GObject.ParamFlags.READWRITE,
-        "",
-      ),
-      search_name: GObject.ParamSpec.string(
-        "search_name",
-        "search_name",
-        "Name used to search the item in sidebar",
-        GObject.ParamFlags.READWRITE,
-        "",
-      ),
-      score: GObject.ParamSpec.double(
-        "score",
-        "score",
-        "Score assigned when searching an item in the sidebar",
-        GObject.ParamFlags.READWRITE,
-        Number.MIN_SAFE_INTEGER,
-        Number.MAX_SAFE_INTEGER,
-        Number.MIN_SAFE_INTEGER,
-      ),
-      uri: GObject.ParamSpec.string(
-        "uri",
-        "uri",
-        "Uri to the documentation page",
-        GObject.ParamFlags.READWRITE,
-        "",
-      ),
-      children: GObject.ParamSpec.object(
-        "children",
-        "children",
-        null,
-        GObject.ParamFlags.READWRITE,
-        Gio.ListStore,
-      ),
-    },
-  },
-  class DocumentationPage extends GObject.Object {},
-);
-
-const URI_TO_SIDEBAR_PATH = {};
-let sync_sidebar = false;
-let scrolled_to = false;
-
-export default function DocumentationViewer({ application }) {
-  const builder = Gtk.Builder.new_from_resource(resource);
-
-  const window = builder.get_object("documentation_viewer");
-  const webview = builder.get_object("webview");
-  const button_back = builder.get_object("button_back");
-  const button_forward = builder.get_object("button_forward");
-  const stack = builder.get_object("stack");
-  const status_page = builder.get_object("status_page");
-  const browse_page = builder.get_object("browse_page");
-  const browse_list_view = builder.get_object("browse_list_view");
-  const search_page = builder.get_object("search_page");
-  const search_list_view = builder.get_object("search_list_view");
-  const search_entry = builder.get_object("search_entry");
-  const button_shortcuts = builder.get_object("button_shortcuts");
-
-  const onGoForward = () => {
-    webview.go_forward();
-  };
-
-  const onGoBack = () => {
-    webview.go_back();
-  };
-
-  const onZoomIn = () => {
-    if (webview.zoom_level < 2) webview.zoom_level += 0.25;
-  };
-
-  const onZoomOut = () => {
-    if (webview.zoom_level > 0.5) webview.zoom_level -= 0.25;
-  };
-
-  const onResetZoom = () => {
-    webview.zoom_level = 1;
-  };
-
-  const onFocusGlobalSearch = () => {
-    search_entry.grab_focus();
-    search_entry.select_region(0, -1);
-  };
-
-  Shortcuts({
-    application,
-    window,
-    button_shortcuts,
-    onGoForward,
-    onGoBack,
-    onZoomIn,
-    onZoomOut,
-    onResetZoom,
-    onFocusGlobalSearch,
-  });
-
-  const user_content_manager = webview.get_user_content_manager();
-
-  const stylesheet = new WebKit.UserStyleSheet(
-    ".devhelp-hidden { display: none; }", // source
-    WebKit.UserContentInjectedFrames.ALL_FRAMES, // injected_frames
-    WebKit.UserStyleLevel.USER, // level
-    null,
-    null,
-  );
-  user_content_manager.add_style_sheet(stylesheet);
-
-  const root_model = Gio.ListStore.new(DocumentationPage);
-  const browse_selection_model = createBrowseSelectionModel(
-    root_model,
-    webview,
-  );
-  browse_list_view.model = browse_selection_model;
-
-  webview.connect("load-changed", () => {
-    updateButtons();
-  });
-
-  webview.connect("notify::uri", () => {
-    const selected_item = browse_selection_model.selected_item.item;
-    if (webview.uri !== selected_item.uri) {
-      sync_sidebar = true;
-      const path = URI_TO_SIDEBAR_PATH[webview.uri];
-      if (!path) return;
-      selectSidebarItem(browse_list_view, path);
-    }
-  });
-
-  webview.get_back_forward_list().connect("changed", () => {
-    updateButtons();
-  });
-
-  function updateButtons() {
-    button_back.sensitive = webview.can_go_back();
-    button_forward.sensitive = webview.can_go_forward();
-  }
-
-  button_back.connect("clicked", () => {
-    webview.go_back();
-  });
-
-  button_forward.connect("clicked", () => {
-    webview.go_forward();
-  });
-
-  const adj = browse_page.get_vscrollbar().adjustment;
-  adj.connect("value-changed", () => {
-    if (scrolled_to) {
-      const index = browse_selection_model.selected;
-      const bottom_edge = (index + 1) * 38 - adj.value;
-      const top_edge = bottom_edge - 38;
-      // If row is not visible after scroll_to, adjust
-      if (bottom_edge === 0) {
-        adj.value -= 38;
-      } else if (top_edge === adj.page_size) {
-        adj.value += 38;
-      }
-      scrolled_to = false;
-    }
-  });
-
-  function onSearchChanged() {
-    if (search_entry.text) {
-      stack.visible_child = search_page;
-      const selection_model = search_list_view.model;
-      selection_model.unselect_item(selection_model.selected);
-      selection_model.model.model.filter = createFilter(search_entry.text);
-      if (!selection_model.n_items) stack.visible_child = status_page;
-      search_list_view.scroll_to(0, Gtk.ListScrollFlags.NONE, null);
-    } else {
-      stack.visible_child = browse_page;
-    }
-  }
-
-  search_entry.connect("search-changed", onSearchChanged);
-
-  let promise_load;
-  async function load() {
-    if (!promise_load) {
-      promise_load = Promise.all([
-        scanLibraries(root_model, Gio.File.new_for_path("/usr/share/doc")),
-        scanLibraries(
-          root_model,
-          Gio.File.new_for_path("/usr/share/gtk-doc/html"),
-        ),
-        scanLibraries(root_model, Gio.File.new_for_path("/app/share/doc")),
-      ]).then(() => {
-        const search_model = flattenModel(root_model);
-        search_list_view.model = createSearchSelectionModel(
-          search_model,
-          browse_list_view,
-        );
-      });
-    }
-    return promise_load;
-  }
-
-  const action_documentation = new Gio.SimpleAction({
-    name: "documentation",
-    parameter_type: null,
-  });
-  action_documentation.connect("activate", () => {
-    if (!isDocumentationEnabled()) {
-      action_extensions.activate(null);
-      return;
-    }
-
-    // The window is already open
-    const mapped = window.get_mapped();
-    window.present();
-    onFocusGlobalSearch();
-    load()
-      .then(() => {
-        if (!mapped) {
-          collapseAllRows(browse_selection_model.model);
-          browse_selection_model.selected = 12;
-          search_entry.text = "";
-          onSearchChanged();
-        }
-      })
-      .catch(console.error);
-  });
-  application.add_action(action_documentation);
-  application.set_accels_for_action("app.documentation", ["<Control>M"]);
-}
-
-function sortFunc(doc1, doc2) {
-  return doc1.name.localeCompare(doc2.name);
-}
-
-function collapseAllRows(model) {
-  for (let i = 0; i < model.n_items; i++) {
-    const row = model.get_row(i);
-    row.expanded = false;
-  }
-}
-
-function selectSidebarItem(browse_list_view, path) {
-  const selection_model = browse_list_view.model;
-  const tree_model = selection_model.model;
-  const index = getItemIndex(tree_model, path);
-  // If possible, overshoot scrolling by one row to ensure selected row is visible
-  index + 1 === selection_model.n_items
-    ? browse_list_view.scroll_to(index, Gtk.ListScrollFlags.NONE, null)
-    : browse_list_view.scroll_to(index + 1, Gtk.ListScrollFlags.NONE, null);
-  selection_model.selected = index;
-  scrolled_to = true;
-}
-
-function getItemIndex(tree_model, path) {
-  let relative_index = 0; // Relative index of the item under its parent
-  let absolute_index = 0; // Index of the item in the entire model
-  let skip = 0; // Number of items to skip due to expanded rows
-
-  for (let i = 0; i < path.length; i++) {
-    while (relative_index < path[i]) {
-      const row = tree_model.get_row(absolute_index);
-      if (row.expanded) {
-        skip += row.children.get_n_items();
-      }
-      if (!skip) relative_index++; // Go to next sibling
-      else skip--;
-      absolute_index++;
-    }
-    // Check to ensure the last item is not expanded
-    if (i < path.length - 1) {
-      tree_model.get_row(absolute_index).expanded = true;
-      absolute_index++;
-      relative_index = 1;
-    }
-  }
-  return absolute_index;
-}
-
-async function loadLibrary(model, directory) {
-  try {
-    const json_file = directory.get_child("index.json");
-    const html_file = directory.get_child("index.html");
-
-    const [data] = await json_file.load_contents_async(null);
-    const index = JSON.parse(decode(data));
-
-    const namespace = `${index.meta.ns}-${index.meta.version}`;
-    const page = new DocumentationPage({
-      name: namespace,
-      tag: "namespace",
-      search_name: namespace,
-      uri: html_file.get_uri(),
-      children: getChildren(index, directory),
-    });
-
-    model.insert_sorted(page, sortFunc);
-  } catch (error) {
-    if (!error.matches(Gio.IOErrorEnum, Gio.IOErrorEnum.NOT_FOUND)) throw error;
-  }
-}
-
-const IGNORED_LIBRARIES = [
-  "atk",
-  "javascriptcoregtk-4.1",
-  "libhandy-1",
-  "libnotify-0",
-  "webkit2gtk-4.1",
-  "webkit2gtk-web-extension-4.1",
-];
-
-async function scanLibraries(model, base_dir) {
-  const libraries = [];
-
-  const iter = await base_dir.enumerate_children_async(
-    "standard::name,standard::type",
-    Gio.FileQueryInfoFlags.NOFOLLOW_SYMLINKS,
-    GLib.PRIORITY_DEFAULT,
-    null,
-  );
-  // eslint-disable-next-line no-constant-condition
-  while (true) {
-    const infos = await iter.next_files_async(10, GLib.PRIORITY_DEFAULT, null);
-    if (infos.length === 0) break;
-
-    for (const info of infos) {
-      if (info.get_file_type() !== Gio.FileType.DIRECTORY) continue;
-
-      if (IGNORED_LIBRARIES.includes(info.get_name())) continue;
-
-      const directory = iter.get_child(info);
-      libraries.push(loadLibrary(model, directory));
-    }
-  }
-
-  return Promise.allSettled(libraries);
-}
-
-function flattenModel(
-  list_store,
-  flattened_model = newListStore(),
-  path = [0],
-) {
-  for (const item of list_store) {
-    if (item.search_name) flattened_model.append(item);
-    if (item.children) {
-      flattenModel(item.children, flattened_model, [...path, 1]);
-    }
-    URI_TO_SIDEBAR_PATH[item.uri] = path.slice();
-    path[path.length - 1]++;
-  }
-  return flattened_model;
-}
-
-function createBrowseSelectionModel(root_model, webview) {
-  const tree_model = Gtk.TreeListModel.new(
-    root_model,
-    false,
-    false,
-    (item) => item.children,
-  );
-  const selection_model = Gtk.SingleSelection.new(tree_model);
-  selection_model.connect("selection-changed", () => {
-    // If selection changed to sync the sidebar, dont load_uri again
-    if (sync_sidebar) {
-      sync_sidebar = false;
-      return;
-    }
-    const uri = selection_model.selected_item.item.uri;
-    webview.load_uri(uri);
-  });
-  return selection_model;
-}
-
-function createSearchSelectionModel(model, browse_list_view) {
-  const filter_model = Gtk.FilterListModel.new(model, null);
-  const sorter = Gtk.CustomSorter.new((item1, item2) => {
-    return Math.sign(item2.score - item1.score);
-  });
-  const sort_model = new Gtk.SortListModel({
-    model: filter_model,
-    sorter: sorter,
-  });
-  const selection_model = Gtk.SingleSelection.new(sort_model);
-  selection_model.autoselect = false;
-  selection_model.can_unselect = true;
-  selection_model.connect("selection-changed", () => {
-    if (!selection_model.selected_item) return;
-    const uri = selection_model.selected_item.uri;
-    const sidebar_path = URI_TO_SIDEBAR_PATH[uri];
-    selectSidebarItem(browse_list_view, sidebar_path);
-  });
-  return selection_model;
-}
-
-const QUERY_TYPES = [
-  "additional",
-  "alias",
-  "bitfield",
-  "callback",
-  "class",
-  "constant",
-  "constructor",
-  "enum",
-  "error",
-  "function",
-  "interface",
-  "namespace",
-  "macro",
-  "method",
-  "property",
-  "signal",
-  "struct",
-  "union",
-  "vfunc",
-];
-
-const QUERY_PATTERN = new RegExp(
-  "^(" + QUERY_TYPES.join("|") + ")\\s*:\\s*",
-  "i",
-);
-
-function createFilter(search_term) {
-  const matches = search_term.match(QUERY_PATTERN);
-  let tag = null;
-
-  if (matches) {
-    tag = matches[1].toLowerCase();
-    search_term = search_term.substring(matches[0].length);
-  }
-
-  const needle = search_term.replace(/\s+/g, "");
-  const isCaseSensitive = needle.toLowerCase() !== needle;
-  const actualNeedle = isCaseSensitive ? needle : needle.toLowerCase();
-
-  return Gtk.CustomFilter.new((item) => {
-    const haystack = isCaseSensitive
-      ? item.search_name
-      : item.search_name.toLowerCase();
-    const match = hasMatch(actualNeedle, haystack);
-    const shouldKeep = match && (!tag || item.tag === tag);
-    if (shouldKeep) item.score = score(actualNeedle, haystack);
-    return shouldKeep;
-  });
-}
-
-const SECTION_TYPES = {
-  class: ["Classes", "#classes"],
-  content: ["Addition Documentation", "#extra"],
-  interface: ["Interfaces", "#interfaces"],
-  record: ["Structs", "#structs"],
-  alias: ["Aliases", "#aliases"],
-  enum: ["Enumerations", "#enums"],
-  bitfield: ["Bitfields", "#bitfields"],
-  function: ["Functions", "#functions"],
-  function_macro: ["Function Macros", "#function_macros"],
-  domain: ["Error Domains", "#domains"],
-  callback: ["Callbacks", "#callbacks"],
-  constant: ["Constants", "#constants"],
-};
-
-const SUBSECTION_TYPES = {
-  ctor: ["Constructors", "#constructors"],
-  type_func: ["Functions", "#type-functions"],
-  method: ["Instance Methods", "#methods"],
-  property: ["Properties", "#properties"],
-  signal: ["Signals", "#signals"],
-  class_method: ["Class Methods", "#class-methods"],
-  vfunc: ["Virtual Methods", "#virtual-methods"],
-};
-
-function getChildren(index, dir) {
-  const index_html = dir.get_child("index.html").get_uri();
-  const symbols = index.symbols;
-
-  const sections = {};
-  const subsections = {};
-
-  for (const section in SECTION_TYPES) sections[section] = newListStore();
-
-  for (const symbol of symbols) {
-    let location;
-    if (sections[symbol.type]) location = sections[symbol.type];
-    else if (symbol.type_name) {
-      if (!subsections[symbol.type_name]) {
-        const new_subsection = {};
-        for (const subsection in SUBSECTION_TYPES)
-          new_subsection[subsection] = newListStore();
-        subsections[symbol.type_name] = new_subsection;
-      }
-      location = subsections[symbol.type_name][symbol.type];
-    }
-    if (location)
-      location.insert_sorted(
-        new DocumentationPage({
-          name: symbol.name,
-          tag: getTagForDocument(symbol),
-          search_name: getSearchNameForDocument(symbol, index.meta),
-          uri: `${dir.get_uri()}/${getLinkForDocument(symbol)}`,
-        }),
-        sortFunc,
-      );
-  }
-
-  createSubsections(subsections, sections);
-
-  const sections_model = newListStore();
-  for (const section in sections) {
-    if (sections[section].get_n_items() > 0)
-      sections_model.insert_sorted(
-        new DocumentationPage({
-          name: SECTION_TYPES[section][0],
-          uri: `${index_html}${SECTION_TYPES[section][1]}`,
-          children: sections[section],
-        }),
-        sortFunc,
-      );
-  }
-  return sections_model;
-}
-
-const REQUIRED = ["class", "interface", "record", "domain"];
-function createSubsections(subsections, sections) {
-  for (const type of REQUIRED) {
-    for (const item of sections[type]) {
-      const model = newListStore();
-      const name = item.name;
-      for (const subsection in subsections[name]) {
-        if (subsections[name][subsection].get_n_items() > 0) {
-          model.insert_sorted(
-            new DocumentationPage({
-              name: SUBSECTION_TYPES[subsection][0],
-              uri: `${item.uri}${SUBSECTION_TYPES[subsection][1]}`,
-              children: subsections[name][subsection],
-            }),
-            sortFunc,
-          );
-        }
-      }
-      item.children = model;
-    }
-  }
-}
-
-function newListStore() {
-  return Gio.ListStore.new(DocumentationPage);
-}
-
-function getSearchNameForDocument(doc, meta) {
-  switch (doc.type) {
-    case "alias":
-    case "bitfield":
-    case "callback":
-    case "class":
-    case "domain":
-    case "enum":
-    case "interface":
-    case "record":
-      return doc.ctype;
-
-    case "class_method":
-    case "constant":
-    case "ctor":
-    case "function":
-    case "function_macro":
-    case "method":
-    case "type_func":
-      return doc.ident;
-
-    case "property":
-      return `${meta.ns}${doc.type_name}:${doc.name}`;
-    case "signal":
-      return `${meta.ns}${doc.type_name}::${doc.name}`;
-    case "vfunc":
-      return `${meta.ns}${doc.type_name}.${doc.name}`;
-
-    case "content":
-      return doc.name;
-  }
-}
-
-function getLinkForDocument(doc) {
-  switch (doc.type) {
-    case "alias":
-      return `alias.${doc.name}.html`;
-    case "bitfield":
-      return `flags.${doc.name}.html`;
-    case "callback":
-      return `callback.${doc.name}.html`;
-    case "class":
-      return `class.${doc.name}.html`;
-    case "class_method":
-      return `class_method.${doc.struct_for}.${doc.name}.html`;
-    case "constant":
-      return `const.${doc.name}.html`;
-    case "content":
-      return doc.href;
-    case "ctor":
-      return `ctor.${doc.type_name}.${doc.name}.html`;
-    case "domain":
-      return `error.${doc.name}.html`;
-    case "enum":
-      return `enum.${doc.name}.html`;
-    case "function":
-      return `func.${doc.name}.html`;
-    case "function_macro":
-      return `func.${doc.name}.html`;
-    case "interface":
-      return `iface.${doc.name}.html`;
-    case "method":
-      return `method.${doc.type_name}.${doc.name}.html`;
-    case "property":
-      return `property.${doc.type_name}.${doc.name}.html`;
-    case "record":
-      return `struct.${doc.name}.html`;
-    case "signal":
-      return `signal.${doc.type_name}.${doc.name}.html`;
-    case "type_func":
-      return `type_func.${doc.type_name}.${doc.name}.html`;
-    case "union":
-      return `union.${doc.name}.html`;
-    case "vfunc":
-      return `vfunc.${doc.type_name}.${doc.name}.html`;
-  }
-}
-
-function getTagForDocument(doc) {
-  switch (doc.type) {
-    case "method":
-    case "class_method":
-      return "method";
-    case "content":
-      return "additional";
-    case "ctor":
-      return "constructor";
-    case "domain":
-      return "error";
-    case "function_macro":
-      return "macro";
-    case "record":
-      return "struct";
-    case "type_func":
-      return "function";
-    default:
-      return doc.type;
-  }
-}
diff --git a/src/Manuals/Shortcuts.blp b/src/Manuals/Shortcuts.blp
deleted file mode 100644
index 8d41bdbd3..000000000
--- a/src/Manuals/Shortcuts.blp
+++ /dev/null
@@ -1,72 +0,0 @@
-using Gtk 4.0;
-
-ShortcutsWindow window_shortcuts {
-  hide-on-close: true;
-
-  ShortcutsSection {
-    section-name: "shortcuts";
-    max-height: 7;
-
-    ShortcutsGroup {
-      title: _("Navigation");
-
-      ShortcutsShortcut {
-        title: _("Go back to the previous page");
-        accelerator: "<Alt>Left";
-      }
-
-      ShortcutsShortcut {
-        title: _("Go forward to the next page");
-        accelerator: "<Alt>Right";
-      }
-
-      ShortcutsShortcut {
-        title: _("Focus global search");
-        accelerator: "<Control>K";
-      }
-
-      ShortcutsShortcut {
-        shortcut-type: gesture_two_finger_swipe_right;
-        title: _("Go back to the previous page");
-      }
-
-      ShortcutsShortcut {
-        shortcut-type: gesture_two_finger_swipe_left;
-        title: _("Go forward to the next page");
-      }
-    }
-
-    ShortcutsGroup {
-      title: _("Zoom");
-
-      ShortcutsShortcut {
-        title: _("Zoom in");
-        accelerator: "<Control>plus";
-      }
-
-      ShortcutsShortcut {
-        title: _("Zoom out");
-        accelerator: "<Control>minus";
-      }
-
-      ShortcutsShortcut {
-        title: _("Reset zoom");
-        accelerator: "<Control>0";
-      }
-    }
-
-    ShortcutsGroup {
-      title: _("General");
-
-      ShortcutsShortcut {
-        title: _("Close Manuals");
-        accelerator: "<Control>W";
-      }
-
-      ShortcutsShortcut {
-        title: _("Shortcuts");
-        accelerator: "<Control>question";
-      }
-    }
-  }
-}
diff --git a/src/Manuals/Shortcuts.js b/src/Manuals/Shortcuts.js
deleted file mode 100644
index 234709874..000000000
--- a/src/Manuals/Shortcuts.js
+++ /dev/null
@@ -1,53 +0,0 @@
-import Gtk from "gi://Gtk";
-import resource from "./Shortcuts.blp";
-
-export default function Shortcuts({
-  application,
-  window,
-  button_shortcuts,
-  onGoForward,
-  onGoBack,
-  onZoomIn,
-  onZoomOut,
-  onResetZoom,
-  onFocusGlobalSearch,
-}) {
-  let window_shortcuts;
-
-  function open() {
-    if (!window_shortcuts) {
-      const builder = Gtk.Builder.new_from_resource(resource);
-      window_shortcuts = builder.get_object("window_shortcuts");
-      window_shortcuts.set_transient_for(window);
-      window_shortcuts.set_application(application);
-    }
-    window_shortcuts.present();
-  }
-
-  const shortcuts = [
-    [["<Primary>question"], open],
-    [["<Control>w"], () => window.close()],
-    [["<Alt>Right"], onGoForward],
-    [["<Alt>Left"], onGoBack],
-    [["<Control>plus", "<Control>equal"], onZoomIn],
-    [["<Control>minus", "<Control>underscore"], onZoomOut],
-    [["<Control>0"], onResetZoom],
-    [["<Control>K"], onFocusGlobalSearch],
-  ];
-
-  button_shortcuts.connect("clicked", open);
-
-  const shortcutController = new Gtk.ShortcutController();
-  shortcuts.forEach(([accels, fn]) => {
-    const shortcut = new Gtk.Shortcut({
-      trigger: Gtk.ShortcutTrigger.parse_string(accels.join("|")),
-      action: Gtk.CallbackAction.new(() => {
-        fn();
-        return true;
-      }),
-    });
-    shortcutController.add_shortcut(shortcut);
-  });
-
-  window.add_controller(shortcutController);
-}
diff --git a/src/Manuals/fzy.js b/src/Manuals/fzy.js
deleted file mode 100644
index 658f9f4ef..000000000
--- a/src/Manuals/fzy.js
+++ /dev/null
@@ -1,135 +0,0 @@
-// SPDX-FileCopyrightText: 2014 John Hawthorn
-//
-// SPDX-License-Identifier: MIT
-// https://github.com/jhawthorn/fzy.js
-
-const SCORE_MIN = Number.MIN_SAFE_INTEGER;
-const SCORE_MAX = Number.MAX_SAFE_INTEGER;
-
-const SCORE_GAP_LEADING = -0.005;
-const SCORE_GAP_TRAILING = -0.005;
-const SCORE_GAP_INNER = -0.01;
-const SCORE_MATCH_CONSECUTIVE = 1.0;
-const SCORE_MATCH_SLASH = 0.9;
-const SCORE_MATCH_WORD = 0.8;
-const SCORE_MATCH_CAPITAL = 0.7;
-const SCORE_MATCH_DOT = 0.6;
-
-function islower(s) {
-  return s.toLowerCase() === s;
-}
-
-function isupper(s) {
-  return s.toUpperCase() === s;
-}
-
-function precompute_bonus(haystack) {
-  /* Which positions are beginning of words */
-  const m = haystack.length;
-  const match_bonus = new Array(m);
-
-  let last_ch = "/";
-  for (let i = 0; i < m; i++) {
-    const ch = haystack[i];
-
-    if (last_ch === "/") {
-      match_bonus[i] = SCORE_MATCH_SLASH;
-    } else if (last_ch === "-" || last_ch === "_" || last_ch === " ") {
-      match_bonus[i] = SCORE_MATCH_WORD;
-    } else if (last_ch === ".") {
-      match_bonus[i] = SCORE_MATCH_DOT;
-    } else if (islower(last_ch) && isupper(ch)) {
-      match_bonus[i] = SCORE_MATCH_CAPITAL;
-    } else {
-      match_bonus[i] = 0;
-    }
-
-    last_ch = ch;
-  }
-
-  return match_bonus;
-}
-
-function compute(needle, haystack, D, M) {
-  const n = needle.length;
-  const m = haystack.length;
-
-  const match_bonus = precompute_bonus(haystack, needle);
-
-  /*
-   * D[][] Stores the best score for this position ending with a match.
-   * M[][] Stores the best possible score at this position.
-   */
-
-  for (let i = 0; i < n; i++) {
-    D[i] = new Array(m);
-    M[i] = new Array(m);
-
-    let prev_score = SCORE_MIN;
-    const gap_score = i === n - 1 ? SCORE_GAP_TRAILING : SCORE_GAP_INNER;
-
-    for (let j = 0; j < m; j++) {
-      if (needle[i] === haystack[j]) {
-        let score = SCORE_MIN;
-        if (!i) {
-          score = j * SCORE_GAP_LEADING + match_bonus[j];
-        } else if (j) {
-          /* i > 0 && j > 0*/
-          score = Math.max(
-            M[i - 1][j - 1] + match_bonus[j],
-
-            /* consecutive match, doesn't stack with match_bonus */
-            D[i - 1][j - 1] + SCORE_MATCH_CONSECUTIVE,
-          );
-        }
-        D[i][j] = score;
-        M[i][j] = prev_score = Math.max(score, prev_score + gap_score);
-      } else {
-        D[i][j] = SCORE_MIN;
-        M[i][j] = prev_score = prev_score + gap_score;
-      }
-    }
-  }
-}
-
-function score(needle, haystack) {
-  const n = needle.length;
-  const m = haystack.length;
-
-  if (!n || !m) return SCORE_MIN;
-
-  if (n === m) {
-    /* Since this method can only be called with a haystack which
-     * matches needle. If the lengths of the strings are equal the
-     * strings themselves must also be equal (ignoring case).
-     */
-    return SCORE_MAX;
-  }
-
-  if (m > 1024) {
-    /*
-     * Unreasonably large candidate: return no score
-     * If it is a valid match it will still be returned, it will
-     * just be ranked below any reasonably sized candidates
-     */
-    return SCORE_MIN;
-  }
-
-  const D = new Array(n);
-  const M = new Array(n);
-
-  compute(needle, haystack, D, M);
-
-  return M[n - 1][m - 1];
-}
-
-function hasMatch(needle, haystack) {
-  const l = needle.length;
-  for (let i = 0, j = 0; i < l; i += 1) {
-    j = haystack.indexOf(needle[i], j) + 1;
-    if (j === 0) return false;
-  }
-  return true;
-}
-
-export { score, hasMatch };
diff --git a/src/application.js b/src/application.js
index 3be4472bf..9fc39f47f 100644
--- a/src/application.js
+++ b/src/application.js
@@ -7,7 +7,6 @@ import { settings, data_dir, ensureDir } from "./util.js";
 import { overrides } from "./overrides.js";
 import Library, { getDemo } from "./Library/Library.js";
 import Extensions from "./Extensions/Extensions.js";
-import DocumentationViewer from "./Manuals/DocumentationViewer.js";
 import { Session, createSessionFromDemo, getSessions } from "./sessions.js";
 import ShortcutsWindow from "./shortcutsWindow.js";
 
@@ -42,10 +41,6 @@ application.connect("startup", () => {
     application,
   });
 
-  DocumentationViewer({
-    application,
-  });
-
   ShortcutsWindow({ application });
 
   restoreSessions();
diff --git a/src/shortcutsWindow.blp b/src/shortcutsWindow.blp
index fae6576fb..b932e3826 100644
--- a/src/shortcutsWindow.blp
+++ b/src/shortcutsWindow.blp
@@ -22,11 +22,6 @@ ShortcutsWindow window {
         title: _("Open Project");
       }
 
-      ShortcutsShortcut {
-        accelerator: "<Control>M";
-        title: _("Open Manuals");
-      }
-
       ShortcutsShortcut {
         accelerator: "<Control><Shift>O";
         title: _("Open Library");
diff --git a/src/window.blp b/src/window.blp
index aa04df804..c6cce08fb 100644
--- a/src/window.blp
+++ b/src/window.blp
@@ -682,11 +682,6 @@ menu menu_app {
     action: "app.extensions";
   }
 
-  item {
-    label: _("Manuals");
-    action: "app.documentation";
-  }
-
   section {
     item {
       label: _("Keyboard Shortcuts");