Revert accidental change to example_intro.html