Performance optimizations for static HTML search

This release includes further optimizations of the static HTML search feature:

The size of the generated search index was reduced by using original integer identifiers instead of MID strings.

The page loading performance for very large documents improved by at least 2x through caching the search index in IndexedDB on the browser side.

The search index is now loaded only after the entire page has finished loading. This means that search is unavailable for very large pages until the search JavaScript has been loaded. We will look into improving this aspect of the user experience in the future.

What's Changed

• Bump version to 0.11.0 by @stanislaw in #2441
• refactor(anchors): skip auto-ID in node anchors by @mettta in #2442
• perf(HTML static search): reduce the size of the search index by 4x by @stanislaw in #2444
• perf(HTML static search): reduce the page load size by using IndexedDB storage by @stanislaw in #2445
• fix(HTML): improve how the relation fields are printed by @stanislaw in #2446
• Code climate: Set up a JS linter and reformat some files by @stanislaw in #2447
• about: update the slide deck by @stanislaw in #2448

Full Changelog: 0.11.0...0.11.1