Bugfix: refresh_interval should be a *positive* integer
Add static options to config.js generation