Rename codetographer to codetographer.html