(more HTML man pages from spinroot.com for text hover and content assist as discussed at http://spinroot.com/fluxbb/viewtopic.php?id=1565) (code from h2database.org integrated) [ as of corporate d1009dd91373cf8a11f329b04885d351ea938d67 ]