Update html to link to gihub repository instead of fossil one.