Documentation search can't target html identifiers in the lib page #478

Before #445, searching for common names such as FiniteMPS would give results both in the manual page as well as in the library page. On dev, it seems the search function can't target any of the html tags from the library page, which is quite annoying. Searching FiniteMPS now just leads to the manual page, even though the corresponding link to the library page still seems to work. This is especially annoying when searching for things that only occur in the library page but have a proper docstring. For example, searching AC2_hamiltonian doesn't give anything useful, while the corresponding tag should just be there on the library page.

Even when the search window shows the right docstring on the library page highlighted in the search box, clicking further just takes you to the very top of the library page...