weird: index.html modification was not checked in in the last commit