Rename gravity4 to gravity4.html