Rename src/texttime.html to texttime.html