Update diff-intro.js