Force browsers to reload main.js (fixes #421)