Update ef-deep-intro.html