update TODO and INSTALL lists in index.html