Rename Lab1HTML to Lab1.html