Description

When you type a search term into the search field of the TOC search box and enter, you get a list of matching pages.
Then you click on the page that looks appropriate. Then to find the term you are searching for, you have to type
it again in your browsers search box. Typing every search twice is tedious.

Django could do that for you with some javascript. It could add the search term to the end of the link to each matching page (using named anchor syntax). Then use JavaScript onload to insert an anchor at the first occurrence of the term
or simply move the focus there.

Even better would be to provide a UI for navigation to the next and previous match of the search term. That could go
in the TOC column under the search term box.

I realize neither of these is easy to do well but they sure would be more convenient.