Removing dev.html as it is no longer needed