settings.js: version update