manual pages as HTML