Making searchindex.js smaller

[szabgab]

Problem

The file searchindex.js used for searching is quite big. e.g. for one of my books it is 2,052,190 bytes.

Proposed Solution

Two ideas:

1. The {"body":27,"breadcrumbs":6,"title":2} appears quite a few times in the data. We might change that mapping to an array [27, 6, 12].
2. The whole JSON might be minified before we store it in the js file.

Notes

No response