Comment regarding def.js

Updated instructions for using the pre-supplied JavaScript definitions file def.js.