More work on manPages.html