tosulliv: rename of index.html file