@ -1061,5 +1061,7 @@ I have tested most things myself and I have tried to see if I could tune them a
</div>
<scriptid="__config"type="application/json">{"base":".","features":["navigation.instant","navigation.tabs","navigation.top"],"search":"assets/javascripts/workers/search.16e2a7d4.min.js","translations":{"clipboard.copied":"Copied to clipboard","clipboard.copy":"Copy to clipboard","search.config.lang":"en","search.config.pipeline":"trimmer, stopWordFilter","search.config.separator":"[\\s\\-]+","search.placeholder":"Search","search.result.more.one":"1 more on this page","search.result.more.other":"# more on this page","search.result.none":"No matching documents","search.result.one":"1 matching document","search.result.other":"# matching documents","search.result.placeholder":"Type to start searching","search.result.term.missing":"Missing","select.version.title":"Select version"}}</script>