Apparently this file has been merged with introduction.html.