eliminated special docbook headers and footers Wolframe/docs, they
can now just be copied from here (head-webpage.html, header-webpage.html
and footer-webpage.html)