Rename deepdive_01 to deepdive_01.html