[web] Stop patching jquery.treeview.js This logically reverts part of e9b7cd2e9012 "allow treeview to work correctly in a tab #345293". The treeview and ajax code have suffered a number of changes since then, this change doesn't seem to be necessary anymore. It is most likely unneeded since f65208c9dbdc "[javascript] use jQuery.one('ajax-loaded') instead of jQuery.bind() in add_onload to avoid multiple callback executions".

     1

First of all, you can use this site as any web site by clicking on the

     2

different links. The Logo on the top left of this page will lead you

     3

to a start page from which you will be able to navigate to all the

     4

data hosted on this site.

     5

     6

The bookmarks box on the left hand side provides some useful

     7

shortcuts.

     8

     9

Most text is indexed and you can search all the content by typing

    10

words in the search box.