Update and rename example4 to example4.html