Localization (javascript generated strings): zotfile.js and options.js