We had a problem with a student who couldn't access assignments because they had a (broken?) cached version of robust-websocket.js. Adding a timestamp to static file URLs would force browsers not to use old cached version.s