add new DITA-generated HTML files; update index page to point to new files