info.js: add some functionality