Rename DevEnv to DevEnv.html