Rename version 4.html to version_4.html