add hints-ext.js