#6 fix repo name in .html file