Rename milestone_13.txt to milestone_13.html