auto-reload.js: evade caching