Update deepdive3.html