Update of HTML files (in case GitHub or network is down)