Pages I keep around for reference.
BTW, Google's in-page navigation controls are rudimentary or missing. The table of contents is theirs (though not the title) and I'll try to remember keep the manually created subpage listing up-to-date. ;-)
Or you can always use the menu bar at the top....
Proxy Server: proxy.gnudb.org
Proxy Port: 3128