big HTML files of documentation