> You can also use kristopolous' console script to search the thread: https://news.ycombinator.com/item?id=10313519.

Could this be included in the page directly?