Update and rename whatever3.html to whatever4.html