Rename infinite_flight.html to demo_infinite_flight.html