Update and rename whatever8.html to whatever9.html