Feature: add search / filter into the TOC panel
Summary
From the left panel, all headers are listed as a tree. If the current page contains a lot of headers, the TOC is huge.
Requested feature
Add an input into the TOC panel that allow to perform a "search" / filter to reduce the number of header into the panel.