settings.js: version check in plain settings textarea