Type to searchが動かない about kotlin_intro

[tonionagauzzi]

head-appendの説明
https://github.com/NoriSte/gitbook-plugin-head-append

If you want to add a script you must replace every script occurrence with SCRIPTTAG, the plugin will restore it.

に従い、book.json の script を SCRIPTTAG に変えたら、Kotlin Playground が有効なまま Type to search も動くようになった

head-appendを無効化すれば動くようになる。
https://github.com/access-company/kotlin_intro/blob/master/src/book.json#L5
しかし、head-append無効化はKotlin Playgroundが動かなくなるので、詳しい調査が必要。