added program names to HTML titles, various minor fixes svn path=/trunk/; revision=10686
svn path=/trunk/; revision=9016