what is the reason for not having a search box for the API?
It is there for the forum, why not for the API? Every time you have to click multiple time and scroll through the API tree on the left side of the page…
Wouldn’t it be easier to just have a API search box. Or a general search box whose results you can quickly filter by selecting “Kernel API only” (for example).