Adds tipped.js files.