Update and rename whatever9.html to whatever10.html