Update and rename DevEnv.html to DevEnv